Introducing the bigint (#6670)

* add primitive bigint

* Js_bigint adding operations

* Js_json adding support of bigint

* rename test

* remove bigint from Js_json

* stale comment

* remove unnecessary guard in pattern matching

* fix literal_overlaps

* primitive bigint instead of Js_bigint.t

* variant coercion for bigint

* add error test

* add optimization of comparisons

* add bigint_test and binding bigint methods, NaN, etc

* stale comment

* add bigint pow operator

* clean up Js_exp for bigint operations

* remove isNaN, isInfinite

* remove NaN from BigInt

* fix compare function

* fix test

* add bitwise operations

* eta conversion for bigint

* optimization

* bitwise operators in Js_bigint

* add test for bitwise operations

* remove bigint operators from parser and pervasives

* rebase clean up

* update change log

* fix incorrect compare bigint values

* remove leftover

* removed leftover

* handling and testing bigint values with leading zeros and minus

* remove optimization const_compare from parmatch and add test

* add tests for pattern matching bigint liternal

* support only decimal bigint literal and pattern matching

* fix test

* handle delimiter '_'

* throw Division_by_zero in bigint div, mod

* call runtime only when dividing by zero

* fix incorrect dividing by zero with non constant

* remove is_safe from Pdivbigint, Pmodbigint

* stale comments

* fix bigint_utils.compare

* change bigint model to sign * string

* clean up

Author: mununki

CHANGELOG.md

@@ -12,6 +12,10 @@
 
 # 11.1.0-rc.6 (Unreleased)
 
+#### :rocket: New Feature
+
+- Add the primitive bigint type https://github.com/rescript-lang/rescript-compiler/pull/6670
+
 #### :bug: Bug Fix
 
 - Fix mishandling of uncurried functions in super errors. https://github.com/rescript-lang/rescript-compiler/pull/6694

jscomp/build_tests/super_errors/expected/bigint_match_literal.res.expected

@@ -0,0 +1,11 @@
+
+  Warning number 11
+  /.../fixtures/bigint_match_literal.res:3:3-4
+
+  1 │ let m1 = switch 1n {
+  2 │ | 0001n => 1
+  3 │ | 1n => 1
+  4 │ | -0001n => -1
+  5 │ | _ => 0
+
+  this match case is unused.

jscomp/build_tests/super_errors/expected/variant_coercion_bigint.res.expected

@@ -0,0 +1,10 @@
+
+  We've found a bug for you!
+  /.../fixtures/variant_coercion_bigint.res:5:10-20
+
+  3 │ let x = One(true)
+  4 │ 
+  5 │ let y = (x :> bigint)
+  6 │ 
+
+  Type x is not a subtype of bigint

jscomp/build_tests/super_errors/expected/variant_coercion_bigint_as.res.expected

@@ -0,0 +1,10 @@
+
+  We've found a bug for you!
+  /.../fixtures/variant_coercion_bigint_as.res:5:10-20
+
+  3 │ let x = One
+  4 │ 
+  5 │ let y = (x :> bigint)
+  6 │ 
+
+  Type x is not a subtype of bigint

jscomp/build_tests/super_errors/expected/warnings4.res.expected

@@ -10,4 +10,4 @@
   14 │ 
 
   You forgot to handle a possible case here, for example: 
-  | #second(_) | #fourth | #third
+  | #second(_) | #fourth | #third

jscomp/build_tests/super_errors/expected/warnings5.res.expected

@@ -187,4 +187,4 @@ Either bind these labels explicitly or add ', _' to the pattern.
   60 │ 
 
   You forgot to handle a possible case here, for example: 
-  | (_, true)
+  | (_, true)

jscomp/build_tests/super_errors/fixtures/bigint_match_literal.res

@@ -0,0 +1,6 @@
+let m1 = switch 1n {
+| 0001n => 1
+| 1n => 1
+| -0001n => -1
+| _ => 0
+}

jscomp/build_tests/super_errors/fixtures/variant_coercion_bigint.res

@@ -0,0 +1,5 @@
+type x = | @as(1n) One(bool) | @as(2n) Two
+
+let x = One(true)
+
+let y = (x :> bigint)

jscomp/build_tests/super_errors/fixtures/variant_coercion_bigint_as.res

@@ -0,0 +1,5 @@
+type x = | @as(1n) One | Two
+
+let x = One
+
+let y = (x :> bigint)

jscomp/core/js_analyzer.ml

@@ -158,6 +158,8 @@ let rec eq_expression ({ expression_desc = x0 } : J.expression)
   | Undefined x -> y0 = Undefined x
   | Number (Int { i }) -> (
       match y0 with Number (Int { i = j }) -> i = j | _ -> false)
+  | Number (Bigint {positive = p0; value = v0}) -> (
+    match y0 with Number (Bigint {positive = p1; value = v1}) -> p0 = p1 && v0 = v1 | _ -> false)
   | Number (Float _) -> false
   (* begin match y0 with
      | Number (Float j) ->