[WIP] Rescript v11

bsconfig.json

@@ -1,6 +1,6 @@
 {
   "name": "@rescript/core",
-  "version": "0.5.0",
+  "version": "1.0.0",
   "sources": [
     {
       "dir": "src",

package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rescript/core",
-  "version": "0.5.0",
+  "version": "1.0.0",
   "scripts": {
     "clean": "rescript clean",
     "build": "rescript",
@@ -23,10 +23,10 @@
     "src/**/*.mjs"
   ],
   "peerDependencies": {
-    "rescript": "^10.1.0 || ^11.0.0-alpha.0 || next"
+    "rescript": ">= 11.0.0-beta.3"
   },
   "devDependencies": {
-    "rescript": "10.1.4",
-    "@babel/code-frame": "7.18.6"
+    "@babel/code-frame": "7.18.6",
+    "rescript": "11.0.0-beta.3"
   }
 }

src/Core__Error.mjs

@@ -14,7 +14,7 @@ var $$TypeError = {};
 var $$URIError = {};
 
 function panic(msg) {
-  throw new Error("Panic! " + msg + "");
+  throw new Error("Panic! " + msg);
 }
 
 export {

src/Core__JSON.mjs

@@ -7,29 +7,29 @@ function classify(value) {
   switch (match) {
     case "[object Array]" :
         return {
-                TAG: /* Array */4,
+                TAG: "Array",
                 _0: value
               };
     case "[object Boolean]" :
         return {
-                TAG: /* Bool */0,
+                TAG: "Bool",
                 _0: value
               };
     case "[object Null]" :
-        return /* Null */0;
+        return "Null";
     case "[object Number]" :
         return {
-                TAG: /* Number */2,
+                TAG: "Number",
                 _0: value
               };
     case "[object String]" :
         return {
-                TAG: /* String */1,
+                TAG: "String",
                 _0: value
               };
     default:
       return {
-              TAG: /* Object */3,
+              TAG: "Object",
               _0: value
             };
   }

src/Core__JSON.res

@@ -1,4 +1,12 @@
-type t = Js.Json.t
+@unboxed
+type rec t = Js.Json.t =
+  | @as(false) False
+  | @as(true) True
+  | @as(null) Null
+  | String(string)
+  | Number(float)
+  | Object(Js.Dict.t<t>)
+  | Array(array<t>)
 
 @raises @val external parseExn: string => t = "JSON.parse"
 @raises @val external parseExnWithReviver: (string, (string, t) => t) => t = "JSON.parse"

src/Core__JSON.resi

@@ -3,9 +3,17 @@ Functions for interacting with JSON.
 */
 
 /** 
-A type representing a JSON object.
+A type representing a valid JSON value.
 */
-type t = Js.Json.t
+@unboxed
+type rec t = Js.Json.t =
+  | @as(false) False
+  | @as(true) True
+  | @as(null) Null
+  | String(string)
+  | Number(float)
+  | Object(Js.Dict.t<t>)
+  | Array(array<t>)
 
 /** 
 `parseExn(string)` 

src/Core__List.res

@@ -870,14 +870,14 @@ let partitionU = (l, p) =>
         nextX,
         switch nextY {
         | list{_, ...tail} => tail
-        | list{} => assert false
+        | list{} => assert(false)
         },
       )
     } else {
       (
         switch nextX {
         | list{_, ...tail} => tail
-        | list{} => assert false
+        | list{} => assert(false)
         },
         nextY,
       )

src/Core__Null.res

@@ -1,4 +1,4 @@
-type t<'a> = Js.Null.t<'a>
+@unboxed type t<'a> = Js.Null.t<'a> = Value('a) | @as(null) Null
 
 external asNullable: t<'a> => Core__Nullable.t<'a> = "%identity"
 

src/Core__Null.resi

@@ -7,7 +7,8 @@ If you also need to cover `undefined`, check out `Nullable` instead.
 /**
 A type representing a value that can be either `'a` or `null`.
 */
-type t<'a> = Js.Null.t<'a>
+@unboxed
+type t<'a> = Js.Null.t<'a> = Value('a) | @as(null) Null
 
 /**
 Converts a `Null.t` into a `Nullable.t`.

src/Core__Nullable.res

@@ -1,4 +1,4 @@
-type t<'a> = Js.Nullable.t<'a>
+@unboxed type t<'a> = Js.Nullable.t<'a> = Value('a) | @as(null) Null | @as(undefined) Undefined
 
 external null: t<'a> = "#null"
 

src/Core__Nullable.resi

@@ -8,7 +8,8 @@ Primarily useful when interoping with JavaScript when you don't know whether you
 Type representing a nullable value.
 A nullable value can be the value `'a`, `null` or `undefined`.
 */
-type t<'a> = Js.Nullable.t<'a>
+@unboxed
+type t<'a> = Js.Nullable.t<'a> = Value('a) | @as(null) Null | @as(undefined) Undefined
 
 /**
 The value `null`.

src/Core__Result.mjs

@@ -3,7 +3,7 @@
 import * as Curry from "rescript/lib/es6/curry.js";
 
 function getExn(x) {
-  if (x.TAG === /* Ok */0) {
+  if (x.TAG === "Ok") {
     return x._0;
   }
   throw {
@@ -13,17 +13,17 @@ function getExn(x) {
 }
 
 function mapOr(opt, $$default, f) {
-  if (opt.TAG === /* Ok */0) {
+  if (opt.TAG === "Ok") {
     return Curry._1(f, opt._0);
   } else {
     return $$default;
   }
 }
 
 function map(opt, f) {
-  if (opt.TAG === /* Ok */0) {
+  if (opt.TAG === "Ok") {
     return {
-            TAG: /* Ok */0,
+            TAG: "Ok",
             _0: Curry._1(f, opt._0)
           };
   } else {
@@ -32,78 +32,78 @@ function map(opt, f) {
 }
 
 function flatMap(opt, f) {
-  if (opt.TAG === /* Ok */0) {
+  if (opt.TAG === "Ok") {
     return Curry._1(f, opt._0);
   } else {
     return opt;
   }
 }
 
 function getOr(opt, $$default) {
-  if (opt.TAG === /* Ok */0) {
+  if (opt.TAG === "Ok") {
     return opt._0;
   } else {
     return $$default;
   }
 }
 
 function isOk(x) {
-  if (x.TAG === /* Ok */0) {
+  if (x.TAG === "Ok") {
     return true;
   } else {
     return false;
   }
 }
 
 function isError(x) {
-  if (x.TAG === /* Ok */0) {
+  if (x.TAG === "Ok") {
     return false;
   } else {
     return true;
   }
 }
 
 function equal(a, b, f) {
-  if (a.TAG === /* Ok */0) {
-    if (b.TAG === /* Ok */0) {
+  if (a.TAG === "Ok") {
+    if (b.TAG === "Ok") {
       return Curry._2(f, a._0, b._0);
     } else {
       return false;
     }
-  } else if (b.TAG === /* Ok */0) {
+  } else if (b.TAG === "Ok") {
     return false;
   } else {
     return true;
   }
 }
 
 function compare(a, b, f) {
-  if (a.TAG === /* Ok */0) {
-    if (b.TAG === /* Ok */0) {
+  if (a.TAG === "Ok") {
+    if (b.TAG === "Ok") {
       return Curry._2(f, a._0, b._0);
     } else {
       return 1;
     }
-  } else if (b.TAG === /* Ok */0) {
+  } else if (b.TAG === "Ok") {
     return -1;
   } else {
     return 0;
   }
 }
 
 function forEach(r, f) {
-  if (r.TAG === /* Ok */0) {
+  if (r.TAG === "Ok") {
     return Curry._1(f, r._0);
   }
 
 }
 
 function mapError(r, f) {
-  if (r.TAG === /* Ok */0) {
+  if (r.TAG === "Ok") {
     return r;
   } else {
     return {
-            TAG: /* Error */1,
+            TAG: "Error",
             _0: Curry._1(f, r._0)
           };
   }

src/Core__Type.mjs

@@ -6,43 +6,43 @@ function classify(value) {
   switch (match) {
     case "[object BigInt]" :
         return {
-                TAG: /* BigInt */6,
+                TAG: "BigInt",
                 _0: value
               };
     case "[object Boolean]" :
         return {
-                TAG: /* Bool */0,
+                TAG: "Bool",
                 _0: value
               };
     case "[object AsyncFunction]" :
     case "[object Function]" :
     case "[object GeneratorFunction]" :
         return {
-                TAG: /* Function */4,
+                TAG: "Function",
                 _0: value
               };
     case "[object Null]" :
-        return /* Null */0;
+        return "Null";
     case "[object Number]" :
         return {
-                TAG: /* Number */2,
+                TAG: "Number",
                 _0: value
               };
     case "[object String]" :
         return {
-                TAG: /* String */1,
+                TAG: "String",
                 _0: value
               };
     case "[object Symbol]" :
         return {
-                TAG: /* Symbol */5,
+                TAG: "Symbol",
                 _0: value
               };
     case "[object Undefined]" :
-        return /* Undefined */1;
+        return "Undefined";
     default:
       return {
-              TAG: /* Object */3,
+              TAG: "Object",
               _0: value
             };
   }