@@ -18,46 +18,20 @@ let bigint_greaterequal = (x: bigint, y) => x >= y
18
18
let generic_greaterequal = \">="
19
19
20
20
let () = {
21
- eq (__LOC__ , bigint_compare (Js .Bigint ._NaN , Js .Bigint ._NaN ), 0 )
22
- eq (__LOC__ , generic_compare (Js .Bigint ._NaN , Js .Bigint ._NaN ), 0 )
23
- eq (__LOC__ , bigint_compare (Js .Bigint ._NaN , - 1n ), - 1 )
24
- eq (__LOC__ , generic_compare (Js .Bigint ._NaN , - 1n ), - 1 )
25
- eq (__LOC__ , bigint_compare (- 1n , Js .Bigint ._NaN ), 1 )
26
- eq (__LOC__ , generic_compare (- 1n , Js .Bigint ._NaN ), 1 )
27
- eq (__LOC__ , bigint_equal (Js .Bigint ._NaN , Js .Bigint ._NaN ), false )
28
- eq (__LOC__ , generic_equal (Js .Bigint ._NaN , Js .Bigint ._NaN ), false )
29
- eq (__LOC__ , bigint_equal (1n , Js .Bigint ._NaN ), false )
30
- eq (__LOC__ , generic_equal (1n , Js .Bigint ._NaN ), false )
31
- eq (__LOC__ , bigint_equal (Js .Bigint ._NaN , 1n ), false )
32
- eq (__LOC__ , generic_equal (Js .Bigint ._NaN , 1n ), false )
33
- eq (__LOC__ , bigint_notequal (Js .Bigint ._NaN , Js .Bigint ._NaN ), true )
34
- eq (__LOC__ , generic_notequal (Js .Bigint ._NaN , Js .Bigint ._NaN ), true )
35
- eq (__LOC__ , bigint_notequal (1n , Js .Bigint ._NaN ), true )
36
- eq (__LOC__ , generic_notequal (1n , Js .Bigint ._NaN ), true )
37
- eq (__LOC__ , bigint_notequal (Js .Bigint ._NaN , 1n ), true )
38
- eq (__LOC__ , generic_notequal (Js .Bigint ._NaN , 1n ), true )
39
- eq (__LOC__ , bigint_lessthan (Js .Bigint ._NaN , Js .Bigint ._NaN ), false )
40
- eq (__LOC__ , generic_lessthan (Js .Bigint ._NaN , Js .Bigint ._NaN ), false )
41
- eq (__LOC__ , bigint_lessthan (1n , Js .Bigint ._NaN ), false )
42
- eq (__LOC__ , generic_lessthan (1n , Js .Bigint ._NaN ), false )
43
- eq (__LOC__ , bigint_lessthan (Js .Bigint ._NaN , 1n ), false )
44
- eq (__LOC__ , generic_lessthan (Js .Bigint ._NaN , 1n ), false )
45
- eq (__LOC__ , bigint_greaterthan (Js .Bigint ._NaN , Js .Bigint ._NaN ), false )
46
- eq (__LOC__ , generic_greaterthan (Js .Bigint ._NaN , Js .Bigint ._NaN ), false )
47
- eq (__LOC__ , bigint_greaterthan (1n , Js .Bigint ._NaN ), false )
48
- eq (__LOC__ , generic_greaterthan (1n , Js .Bigint ._NaN ), false )
49
- eq (__LOC__ , bigint_greaterthan (Js .Bigint ._NaN , 1n ), false )
50
- eq (__LOC__ , generic_greaterthan (Js .Bigint ._NaN , 1n ), false )
51
- eq (__LOC__ , bigint_lessequal (Js .Bigint ._NaN , Js .Bigint ._NaN ), false )
52
- eq (__LOC__ , generic_lessequal (Js .Bigint ._NaN , Js .Bigint ._NaN ), false )
53
- eq (__LOC__ , bigint_lessequal (1n , Js .Bigint ._NaN ), false )
54
- eq (__LOC__ , generic_lessequal (1n , Js .Bigint ._NaN ), false )
55
- eq (__LOC__ , bigint_lessequal (Js .Bigint ._NaN , 1n ), false )
56
- eq (__LOC__ , generic_lessequal (Js .Bigint ._NaN , 1n ), false )
57
- eq (__LOC__ , bigint_greaterequal (Js .Bigint ._NaN , Js .Bigint ._NaN ), false )
58
- eq (__LOC__ , generic_greaterequal (Js .Bigint ._NaN , Js .Bigint ._NaN ), false )
59
- eq (__LOC__ , bigint_greaterequal (1n , Js .Bigint ._NaN ), false )
60
- eq (__LOC__ , generic_greaterequal (1n , Js .Bigint ._NaN ), false )
61
- eq (__LOC__ , bigint_greaterequal (Js .Bigint ._NaN , 1n ), false )
62
- eq (__LOC__ , generic_greaterequal (Js .Bigint ._NaN , 1n ), false )
21
+ eq (__LOC__ , bigint_compare (1n , 1n ), 0 )
22
+ eq (__LOC__ , generic_compare (1n , 1n ), 0 )
23
+ eq (__LOC__ , bigint_compare (- 0n , - 1n ), 1 )
24
+ eq (__LOC__ , generic_compare (- 0n , - 1n ), 1 )
25
+ eq (__LOC__ , bigint_compare (+ 0n , - 1n ), 1 )
26
+ eq (__LOC__ , generic_compare (+ 0n , - 1n ), 1 )
27
+ eq (__LOC__ , bigint_compare (1n , 2n ), - 1 )
28
+ eq (__LOC__ , generic_compare (1n , 2n ), - 1 )
29
+ eq (__LOC__ , bigint_equal (1000000000000000000000000000000000000000000000000000000000000000000000000000000000000n , 1000000000000000000000000000000000000000000000000000000000000000000000000000000000000n ), true )
30
+ eq (__LOC__ , generic_equal (1000000000000000000000000000000000000000000000000000000000000000000000000000000000000n , 1000000000000000000000000000000000000000000000000000000000000000000000000000000000000n ), true )
31
+ eq (__LOC__ , bigint_equal (1000000000000000000000000000000000000000000000000000000000000000000000000000000000000n , 1000000000000000000000000000000000000000000000000000000000000000000000000000000000001n ), false )
32
+ eq (__LOC__ , generic_equal (1000000000000000000000000000000000000000000000000000000000000000000000000000000000000n , 1000000000000000000000000000000000000000000000000000000000000000000000000000000000001n ), false )
33
+ eq (__LOC__ , bigint_equal (1000000000000000000000000000000000000000000000000000000000000000000000000000000000000n , - 1000000000000000000000000000000000000000000000000000000000000000000000000000000000000n ), false )
34
+ eq (__LOC__ , generic_equal (1000000000000000000000000000000000000000000000000000000000000000000000000000000000000n , - 1000000000000000000000000000000000000000000000000000000000000000000000000000000000000n ), false )
63
35
}
36
+
37
+ let () = Mt .from_pair_suites (__MODULE__ , suites .contents )
0 commit comments