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/gentype/TranslateTypeExprFromTypes.ml

@@ -86,7 +86,7 @@ let translate_constr ~config ~params_translation ~(path : Path.t) ~type_env =
     {dependencies = []; type_ = string_t}
   | (["Js"; "Types"; "bigint_val"] | ["BigInt"; "t"]), [] ->
     {dependencies = []; type_ = bigint_t}
-  | (["Js"; "Date"; "t"] | ["Date"; "t"]), [] ->
+  | (["Js"; "Date"; "t"] | ["Date"; "t"] | ["Stdlib_Date"; "t"]), [] ->
     {dependencies = []; type_ = date_t}
   | ["Map"; "t"], [param_translation1; param_translation2] ->
     {

compiler/ml/ast_untagged_variants.ml

@@ -179,7 +179,7 @@ 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
+    | "Stdlib_Date.t" -> Some Date
     | "Js_re.t" -> Some RegExp
     | "Js_file.t" -> Some File
     | "Js_blob.t" -> Some Blob

lib/es6/Stdlib.js

@@ -0,0 +1,9 @@
+
+
+
+let $$Date;
+
+export {
+  $$Date,
+}
+/* No side effect */

lib/es6/Date.js renamed to lib/es6/Stdlib_Date.js

@@ -0,0 +1,7 @@
+'use strict';
+
+
+let $$Date;
+
+exports.$$Date = $$Date;
+/* No side effect */

lib/js/Stdlib.js

@@ -113,13 +113,17 @@ external supportedLocalesOf: (array<string>, ~options: supportedLocalesOptions=?
 
 @send external resolvedOptions: t => resolvedOptions = "resolvedOptions"
 
-@send external format: (t, Date.t) => string = "format"
+@send external format: (t, Stdlib_Date.t) => string = "format"
 @send
-external formatToParts: (t, Date.t) => array<dateTimePart> = "formatToParts"
+external formatToParts: (t, Stdlib_Date.t) => array<dateTimePart> = "formatToParts"
 
 @send
-external formatRange: (t, ~startDate: Date.t, ~endDate: Date.t) => string = "formatRange"
+external formatRange: (t, ~startDate: Stdlib_Date.t, ~endDate: Stdlib_Date.t) => string =
+  "formatRange"
 
 @send
-external formatRangeToParts: (t, ~startDate: Date.t, ~endDate: Date.t) => array<dateTimeRangePart> =
-  "formatRangeToParts"
+external formatRangeToParts: (
+  t,
+  ~startDate: Stdlib_Date.t,
+  ~endDate: Stdlib_Date.t,
+) => array<dateTimeRangePart> = "formatRangeToParts"

lib/js/Date.js renamed to lib/js/Stdlib_Date.js

@@ -29,7 +29,7 @@ on MDN.) JavaScript stores dates as the number of milliseconds since the UNIX
 *epoch*, midnight 1 January 1970, UTC.
 */
 
-type t
+type t = Stdlib_Date.t
 
 @send
 /**

runtime/Intl_DateTimeFormat.res

@@ -209,7 +209,7 @@ type domProps = {
   loop?: bool,
   low?: int,
   manifest?: string /* uri */,
-  max?: string /* should be int or Js.Date.t */,
+  max?: string /* should be int or Date.t */,
   maxLength?: int,
   media?: string /* a valid media query */,
   mediaGroup?: string,

runtime/Js_date.res

@@ -0,0 +1,4 @@
+module Date = Stdlib_Date
+
+// Aliases for convenience
+type date = Date.t

runtime/JsxDOM.res

@@ -1,4 +1,4 @@
-type t = Js.Date.t
+type t
 
 type msSinceEpoch = float
 

runtime/Stdlib.res

@@ -5,7 +5,7 @@
 /**
 A type representing a JavaScript date.
 */
-type t = Js.Date.t
+type t
 
 /**
 Time, in milliseconds, since / until the UNIX epoch (January 1, 1970 00:00:00 UTC).