fix JSBigInt payload type (rescript-lang#6911)

Author: cometkim

CHANGELOG.md

@@ -20,6 +20,7 @@
 - Fix issue with infinite loops with type errors on recursive types. https://github.com/rescript-lang/rescript-compiler/pull/6867
 - Ignore `@uncurry` attribute in uncurried mode, to avoid generating calls to `Curry` at runtime. https://github.com/rescript-lang/rescript-compiler/pull/6869
 - Avoid generating calls to Curry when adjusting arity of uncurried functions. https://github.com/rescript-lang/rescript-compiler/pull/6870
+- 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/BigInt.res

@@ -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/BigInt.res.js

@@ -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/gentype_tests/typescript-react-example/src/Core.gen.tsx

@@ -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/gentype_tests/typescript-react-example/src/Core.res

@@ -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/others/js_types.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
   }
 }