1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
/* syntax version 1 */
/* postgres can not */
$vt1 = ParseType("Variant<Int32,Int32?>");
$vt2 = ParseType("Variant<Int64,Null>");
$svt1 = ParseType("Variant<a:Int32,b:Int32?>");
$svt2 = ParseType("Variant<a:Int64,b:Null>");
select
(1, 2) is not distinct from (1, 2, 1/0), --true
<|a:1/0, b:Nothing(String?), c:1|> is not distinct from
<|c:1u, d:1u/0u, e:Nothing(Utf8?)|>, --true
[1, 2, null] is not distinct from [1, 2, just(1/0)], --false
{1:null} is distinct from {1u:2/0}, --false
Variant(1/0, "1", $vt1) is distinct from Variant(null, "1", $vt2), --false
Variant(1/0, "b", $svt1) is not distinct from Variant(null, "b", $svt2), --true
;
|
