Stdlib namespace for Core modules

Author: cknitt

compiler/core/res_compmisc.ml

@@ -54,7 +54,10 @@ let initial_env ?modulename () =
   let initial = Env.initial_safe_string in
   let env =
     if !Clflags.nopervasives then initial
-    else open_implicit_module "Pervasives" initial
+    else
+      initial
+      |> open_implicit_module "Pervasives"
+      |> open_implicit_module "Stdlib"
   in
   List.fold_left
     (fun env m -> open_implicit_module m env)

compiler/ml/ast_untagged_variants.ml

@@ -179,8 +179,8 @@ let type_to_instanceof_backed_obj (t : Types.type_expr) =
   | Tconstr (path, _, _) when Path.same path Predef.path_array -> Some Array
   | Tconstr (path, _, _) -> (
     match Path.name path with
-    | "Js_date.t" -> Some Date
-    | "Js_re.t" -> Some RegExp
+    | "Stdlib_Date.t" -> Some Date
+    | "Stdlib_RegExp.t" -> Some RegExp
     | "Js_file.t" -> Some File
     | "Js_blob.t" -> Some Blob
     | _ -> None)

lib/es6/Pervasives.js

@@ -1,7 +1,5 @@
 
 
-import * as $$Error from "./Error.js";
-import * as Primitive_object from "./Primitive_object.js";
 import * as Primitive_exceptions from "./Primitive_exceptions.js";
 
 function failwith(s) {
@@ -117,21 +115,6 @@ function $at(l1, l2) {
   }
 }
 
-function assertEqual(a, b) {
-  if (!Primitive_object.notequal(a, b)) {
-    return;
-  }
-  throw {
-    RE_EXN_ID: "Assert_failure",
-    _1: [
-      "Pervasives.res",
-      596,
-      4
-    ],
-    Error: new Error()
-  };
-}
-
 let max_int = 2147483647;
 
 let infinity = Infinity;
@@ -144,8 +127,6 @@ let min_float = 2.22507385850720138e-308;
 
 let epsilon_float = 2.22044604925031308e-16;
 
-let panic = $$Error.panic;
-
 export {
   failwith,
   invalid_arg,
@@ -166,7 +147,5 @@ export {
   bool_of_string_opt,
   int_of_string_opt,
   $at,
-  panic,
-  assertEqual,
 }
 /* No side effect */

lib/es6/Stdlib.js

@@ -0,0 +1,159 @@
+
+
+import * as Stdlib_Error from "./Stdlib_Error.js";
+import * as Primitive_object from "./Primitive_object.js";
+
+function assertEqual(a, b) {
+  if (!Primitive_object.notequal(a, b)) {
+    return;
+  }
+  throw {
+    RE_EXN_ID: "Assert_failure",
+    _1: [
+      "Stdlib.res",
+      117,
+      4
+    ],
+    Error: new Error()
+  };
+}
+
+let $$Array;
+
+let $$BigInt;
+
+let Console;
+
+let $$DataView;
+
+let $$Date;
+
+let Dict;
+
+let Exn;
+
+let $$Error;
+
+let Float;
+
+let Int;
+
+let $$Intl;
+
+let $$JSON;
+
+let List;
+
+let $$Math;
+
+let Null;
+
+let Nullable;
+
+let $$Object;
+
+let Option;
+
+let Ordering;
+
+let $$Promise;
+
+let $$RegExp;
+
+let Result;
+
+let $$String;
+
+let $$Symbol;
+
+let Type;
+
+let $$Iterator;
+
+let $$AsyncIterator;
+
+let $$Map;
+
+let $$WeakMap;
+
+let $$Set;
+
+let $$WeakSet;
+
+let $$ArrayBuffer;
+
+let $$TypedArray;
+
+let $$Float32Array;
+
+let $$Float64Array;
+
+let $$Int8Array;
+
+let $$Int16Array;
+
+let $$Int32Array;
+
+let $$Uint8Array;
+
+let $$Uint16Array;
+
+let $$Uint32Array;
+
+let $$Uint8ClampedArray;
+
+let $$BigInt64Array;
+
+let $$BigUint64Array;
+
+let panic = Stdlib_Error.panic;
+
+export {
+  $$Array,
+  $$BigInt,
+  Console,
+  $$DataView,
+  $$Date,
+  Dict,
+  Exn,
+  $$Error,
+  Float,
+  Int,
+  $$Intl,
+  $$JSON,
+  List,
+  $$Math,
+  Null,
+  Nullable,
+  $$Object,
+  Option,
+  Ordering,
+  $$Promise,
+  $$RegExp,
+  Result,
+  $$String,
+  $$Symbol,
+  Type,
+  $$Iterator,
+  $$AsyncIterator,
+  $$Map,
+  $$WeakMap,
+  $$Set,
+  $$WeakSet,
+  $$ArrayBuffer,
+  $$TypedArray,
+  $$Float32Array,
+  $$Float64Array,
+  $$Int8Array,
+  $$Int16Array,
+  $$Int32Array,
+  $$Uint8Array,
+  $$Uint16Array,
+  $$Uint32Array,
+  $$Uint8ClampedArray,
+  $$BigInt64Array,
+  $$BigUint64Array,
+  panic,
+  assertEqual,
+}
+/* No side effect */