remove Caml_sys completely

Author: cometkim

jscomp/core/lam_compat.ml

@@ -78,10 +78,6 @@ let cmp_int (cmp : comparison) (a : int) b : bool =
   | Cge -> a >= b
 
 type compile_time_constant =
-  | Big_endian
-  | Ostype_unix
-  | Ostype_win32
-  | Ostype
   | Backend_type
 
 (** relies on the fact that [compile_time_constant] is enum type *)

jscomp/core/lam_compat.mli

@@ -27,10 +27,6 @@ type boxed_integer = Lambda.boxed_integer = Pbigint | Pint32 | Pint64
 type comparison = Lambda.comparison = Ceq | Cneq | Clt | Cgt | Cle | Cge
 
 type compile_time_constant =
-  | Big_endian
-  | Ostype_unix
-  | Ostype_win32
-  | Ostype
   | Backend_type
 
 type let_kind = Lambda.let_kind = Strict | Alias | StrictOpt | Variable

jscomp/core/lam_compile_primitive.ml

@@ -372,21 +372,6 @@ let translate output_prefix loc (cxt : Lam_compile_context.t)
   | Pis_poly_var_block -> E.is_type_object (Ext_list.singleton_exn args)
   | Pctconst ct -> (
       match ct with
-      | Big_endian -> E.bool Sys.big_endian
-      | Ostype -> E.runtime_call Js_runtime_modules.sys "os_type" args
-      | Ostype_unix ->
-          E.string_equal
-            (E.runtime_call Js_runtime_modules.sys "os_type" args)
-            (E.str "Unix")
-      | Ostype_win32 ->
-          E.string_equal
-            (E.runtime_call Js_runtime_modules.sys "os_type" args)
-            (E.str "Win32")
-      (* | Max_wosize ->
-         (* max_array_length*)
-         E.int 2147483647l (* 2 ^ 31 - 1 *) *)
-      (* 4_294_967_295l  not representable*)
-      (* 2 ^ 32 - 1*)
       | Backend_type ->
           E.make_block E.zero_int_literal
             (Blk_constructor { name = "Other"; num_nonconst = 1; tag = 0; attrs = [] })

jscomp/core/lam_convert.ml

@@ -342,10 +342,6 @@ let lam_prim ~primitive:(p : Lambda.primitive) ~args loc : Lam.t =
           Lam.const (Const_int { i = 32l; comment = None })
       | Max_wosize ->
           Lam.const (Const_int { i = 2147483647l; comment = Some "Max_wosize" })
-      | Big_endian -> prim ~primitive:(Pctconst Big_endian) ~args loc
-      | Ostype_unix -> prim ~primitive:(Pctconst Ostype_unix) ~args loc
-      | Ostype_win32 -> prim ~primitive:(Pctconst Ostype_win32) ~args loc
-      | Ostype_cygwin -> Lam.false_
       | Backend_type -> prim ~primitive:(Pctconst Backend_type) ~args loc)
   | Pcvtbint (a, b) -> (
       match (a, b) with
@@ -455,8 +451,6 @@ let convert (exports : Set_ident.t) (lam : Lambda.lambda) :
         (* ATT: Currently, the arity is one due to PPX *)
         prim ~primitive:Pdebugger ~args:[] loc
     | _ when s = "#null" -> Lam.const Const_js_null
-    | _ when s = "#os_type" ->
-        prim ~primitive:(Pctconst Ostype) ~args:[ unit ] loc
     | _ when s = "#undefined" -> Lam.const (Const_js_undefined {is_unit = false})
     | _ when s = "#init_mod" -> (
         let args = Ext_list.map args convert_aux in

jscomp/core/lam_dispatch_primitive.ml

@@ -205,10 +205,6 @@ let translate loc (prim_name : string) (args : J.expression list) : J.expression
       like normal one to set the identifier *)
   | "?exn_slot_name" | "?is_extension" -> call Js_runtime_modules.exceptions
   | "?as_js_exn" -> call Js_runtime_modules.caml_js_exceptions
-  | "?sys_get_argv" | "?sys_file_exists" | "?sys_time" | "?sys_getenv"
-  | "?sys_getcwd" (* check browser or nodejs *)
-  | "?sys_is_directory" | "?sys_exit" ->
-      call Js_runtime_modules.sys
   | "?make_float_vect"
   | "?floatarray_create" (* TODO: compile float array into TypedArray*) ->
       E.runtime_call Js_runtime_modules.array "make_float" args

jscomp/core/lam_print.ml

@@ -175,10 +175,6 @@ let primitive ppf (prim : Lam_primitive.t) =
   | Pctconst c ->
       let const_name =
         match c with
-        | Big_endian -> "big_endian"
-        | Ostype_unix -> "ostype_unix"
-        | Ostype_win32 -> "ostype_win32"
-        | Ostype -> "ostype"
         | Backend_type -> "backend_type"
       in
       fprintf ppf "sys.constant_%s" const_name

jscomp/ext/js_runtime_modules.ml

@@ -24,10 +24,6 @@
 
 let exceptions = "Caml_exceptions"
 
-let io = "Caml_io"
-
-let sys = "Caml_sys"
-
 let obj_runtime = "Caml_obj"
 
 let array = "Caml_array"

jscomp/ml/lambda.ml

@@ -18,13 +18,9 @@
 
 
 type compile_time_constant =
-  | Big_endian
   | Word_size
   | Int_size
   | Max_wosize
-  | Ostype_unix
-  | Ostype_win32
-  | Ostype_cygwin
   | Backend_type
 
 type loc_kind =

jscomp/ml/lambda.mli

@@ -18,13 +18,9 @@
 open Asttypes
 
 type compile_time_constant =
-  | Big_endian
   | Word_size
   | Int_size
   | Max_wosize
-  | Ostype_unix
-  | Ostype_win32
-  | Ostype_cygwin
   | Backend_type
 
 type loc_kind =

jscomp/ml/printlambda.ml

@@ -212,13 +212,9 @@ let primitive ppf = function
   | Parraysets -> fprintf ppf "array.set" 
   | Pctconst c ->
      let const_name = match c with
-       | Big_endian -> "big_endian"
        | Word_size -> "word_size"
        | Int_size -> "int_size"
        | Max_wosize -> "max_wosize"
-       | Ostype_unix -> "ostype_unix"
-       | Ostype_win32 -> "ostype_win32"
-       | Ostype_cygwin -> "ostype_cygwin"
        | Backend_type -> "backend_type" in
      fprintf ppf "sys.constant_%s" const_name
   | Pisint -> fprintf ppf "isint"