only Arg, Unix should depend on Sys module

Author: bobzhang

jscomp/stdlib/buffer.ml

@@ -21,7 +21,10 @@ type t =
 
 let create n =
  let n = if n < 1 then 1 else n in
+#if BS then  
+#else 
  let n = if n > Sys.max_string_length then Sys.max_string_length else n in
+#end 
  let s = Bytes.create n in
  {buffer = s; position = 0; length = n; initial_buffer = s}
 
@@ -60,11 +63,14 @@ let resize b more =
   let len = b.length in
   let new_len = ref len in
   while b.position + more > !new_len do new_len := 2 * !new_len done;
+#if BS then   
+#else 
   if !new_len > Sys.max_string_length then begin
     if b.position + more <= Sys.max_string_length
     then new_len := Sys.max_string_length
     else failwith "Buffer.add: cannot grow buffer"
   end;
+#end  
   let new_buffer = Bytes.create !new_len in
   Bytes.blit b.buffer 0 new_buffer 0 b.position;
   b.buffer <- new_buffer;
@@ -100,7 +106,12 @@ let add_buffer b bs =
   add_subbytes b bs.buffer 0 bs.position
 
 let add_channel b ic len =
-  if len < 0 || len > Sys.max_string_length then   (* PR#5004 *)
+  if len < 0 
+#if BS then   
+#else
+    || len > Sys.max_string_length 
+#end
+    then   (* PR#5004 *)
     invalid_arg "Buffer.add_channel";
   if b.position + len > b.length then resize b len;
   really_input ic b.buffer b.position len;

jscomp/stdlib/camlinternalFormat.ml

@@ -2595,11 +2595,14 @@ let fmt_ebb_of_string ?legacy_behavior str =
     match str.[str_ind] with
     | '0' .. '9' as c ->
       let new_acc = acc * 10 + (int_of_char c - int_of_char '0') in
+#if BS then       
+#else 
       if new_acc > Sys.max_string_length then
         failwith_message
           "invalid format %S: integer %d is greater than the limit %d"
           str new_acc Sys.max_string_length
       else
+#end      
         parse_positive (str_ind + 1) end_ind new_acc
     | _ -> str_ind, acc
 

jscomp/stdlib/camlinternalOO.ml

@@ -42,7 +42,11 @@ let params = {
 }
 
 (**** Parameters ****)
-
+#if BS then(* {!Translobj.oo_prim : string -> lambda} not by slot *)
+module Sys = struct 
+  let word_size = 32
+end
+#end
 let step = Sys.word_size / 16
 let initial_object_size = 2
 

jscomp/stdlib/gc.ml

@@ -10,7 +10,11 @@
 (*  the special exception on linking described in file ../LICENSE.     *)
 (*                                                                     *)
 (***********************************************************************)
-
+#if BS then
+module Sys = struct
+  let word_size = 8
+end
+#end
 type stat = {
   minor_words : float;
   promoted_words : float;

jscomp/stdlib/hashtbl.ml

@@ -39,10 +39,13 @@ and ('a, 'b) bucketlist =
 (* To pick random seeds if requested *)
 
 let randomized_default =
+#if BS then  false 
+#else
   let params =
     try Sys.getenv "OCAMLRUNPARAM" with Not_found ->
     try Sys.getenv "CAMLRUNPARAM" with Not_found -> "" in
   String.contains params 'R'
+#end
 
 let randomized = ref randomized_default
 
@@ -54,7 +57,11 @@ let prng = lazy (Random.State.make_self_init())
 
 let rec power_2_above x n =
   if x >= n then x
+#if BS then  
+  else if x * 2 < x then x (* overflow *)
+#else
   else if x * 2 > Sys.max_array_length then x
+#end  
   else power_2_above (x * 2) n
 
 let create ?(random = !randomized) initial_size =
@@ -87,7 +94,11 @@ let resize indexfun h =
   let odata = h.data in
   let osize = Array.length odata in
   let nsize = osize * 2 in
+#if BS then   
+  if  nsize >= osize then begin 
+#else     
   if nsize < Sys.max_array_length then begin
+#end
     let ndata = Array.make nsize Empty in
     h.data <- ndata;          (* so that indexfun sees the new bucket count *)
     let rec insert_bucket = function

jscomp/stdlib/lexing.ml

@@ -107,7 +107,12 @@ let lex_refill read_fun aux_buffer lexbuf =
          space since n <= String.length aux_buffer <= String.length buffer.
          Watch out for string length overflow, though. *)
       let newlen =
-        min (2 * Bytes.length lexbuf.lex_buffer) Sys.max_string_length in
+#if BS then         
+       (2 * Bytes.length lexbuf.lex_buffer)
+#else
+        min (2 * Bytes.length lexbuf.lex_buffer) Sys.max_string_length 
+#end        
+        in
       if lexbuf.lex_buffer_len - lexbuf.lex_start_pos + n > newlen
       then failwith "Lexing.lex_refill: cannot grow buffer";
       let newbuf = Bytes.create newlen in

jscomp/stdlib/nativeint.ml

@@ -38,7 +38,11 @@ let minus_one = -1n
 let succ n = add n 1n
 let pred n = sub n 1n
 let abs n = if n >= 0n then n else neg n
+#if BS then
+let size = 54 (* 54 is not a multiple of 8 *)
+#else
 let size = Sys.word_size
+#end
 let min_int = shift_left 1n (size - 1)
 let max_int = sub min_int 1n
 let lognot n = logxor n (-1n)

jscomp/stdlib/weak.ml

@@ -35,7 +35,11 @@ let fill ar ofs len x =
     done
   end
 ;;
-
+#if BS then 
+module Sys = struct
+  let max_array_length = 2147483647 (* 2**31 - 1*)
+end
+#end
 (** Weak hash tables *)
 
 module type S = sig