fix JSBigInt payload type

CHANGELOG.md

@@ -86,6 +86,7 @@
 - Turn off transformation for closures inside loops when capturing loop variables, now that `let` is emitted instead of `var`. https://github.com/rescript-lang/rescript-compiler/pull/6480
 - Improve unused attribute warning message. https://github.com/rescript-lang/rescript-compiler/pull/6787
 - Remove internal option `use-stdlib` from build schema. https://github.com/rescript-lang/rescript-compiler/pull/6778
+- Fix `Js.Types.JSBigInt` payload to use native `bigint` type. https://github.com/rescript-lang/rescript-compiler/pull/6911
 
 # 11.1.2
 

jscomp/gentype_tests/typescript-react-example/src/Core.gen.tsx

@@ -51,9 +51,7 @@ export const date0: (x:Date) => Date = CoreJS.date0 as any;
 
 export const date1: (x:Date) => Date = CoreJS.date1 as any;
 
-export const bigint0: (x:BigInt) => BigInt = CoreJS.bigint0 as any;
-
-export const bigint1: (x:BigInt) => BigInt = CoreJS.bigint1 as any;
+export const bigint0: (x:bigint) => bigint = CoreJS.bigint0 as any;
 
 export const regexp0: (x:RegExp) => RegExp = CoreJS.regexp0 as any;
 

jscomp/gentype_tests/typescript-react-example/src/Core.res

@@ -35,10 +35,7 @@ let date0 = (x: Js.Date.t) => x
 let date1 = (x: Date.t) => x
 
 @genType
-let bigint0 = (x: Js.Types.bigint_val) => x
-
-@genType
-let bigint1 = (x: BigInt.t) => x
+let bigint0 = (x: bigint) => x
 
 @genType
 let regexp0 = (x: Js.Re.t) => x

jscomp/others/js_types.res

@@ -25,9 +25,6 @@
 /** Js symbol type only available in ES6 */
 type symbol
 
-/** Js bigint type only available in ES2020 */
-type bigint_val = bigint
-
 type obj_val
 /** This type has only one value `undefined` */
 type undefined_val
@@ -46,7 +43,7 @@ type rec t<_> =
   | Function: t<function_val>
   | Object: t<obj_val>
   | Symbol: t<symbol>
-  | BigInt: t<bigint_val>
+  | BigInt: t<bigint>
 
 type tagged_t =
   | JSFalse
@@ -58,7 +55,7 @@ type tagged_t =
   | JSFunction(function_val)
   | JSObject(obj_val)
   | JSSymbol(symbol)
-  | JSBigInt(bigint_val)
+  | JSBigInt(bigint)
 
 let classify = (x: 'a): tagged_t => {
   let ty = Js.typeof(x)

jscomp/others/js_types.resi

@@ -27,9 +27,6 @@
 /** Js symbol type (only available in ES6) */
 type symbol
 
-/** Js bigint type only available in ES2020 */
-type bigint_val
-
 type obj_val
 
 /** This type has only one value `undefined` */
@@ -49,7 +46,7 @@ type rec t<_> =
   | Function: t<function_val>
   | Object: t<obj_val>
   | Symbol: t<symbol>
-  | BigInt: t<bigint_val>
+  | BigInt: t<bigint>
 
 /**
 `test(value, t)` returns `true` if `value` is `typeof t`, otherwise `false`.
@@ -75,6 +72,6 @@ type tagged_t =
   | JSFunction(function_val)
   | JSObject(obj_val)
   | JSSymbol(symbol)
-  | JSBigInt(bigint_val)
+  | JSBigInt(bigint)
 
 let classify: 'a => tagged_t

jscomp/test/typeof_test.res

@@ -15,7 +15,9 @@ let string_or_number = (type t, x) => {
     false
   | JSObject(_) => false
   | JSSymbol(_) => false
-  | JSBigInt(_) => false
+  | JSBigInt(v) =>
+    v->Js.BigInt.toString->Js.log
+    true
   }
 }