slim bs_stdlib_mini

Author: bobzhang

jscomp/runtime/bs_stdlib_mini.mli

@@ -165,17 +165,6 @@ end
 
 
 
-
-module Lexing : sig 
-  type lex_tables
-  type lexbuf
-end 
-
-module Parsing : sig 
-  type parse_tables 
-  type parser_env
-end 
-
 module Int64 : sig 
   external of_int : int -> int64 = "%int64_of_int"
   external of_nativeint : nativeint -> int64 = "%int64_of_nativeint"
@@ -192,29 +181,8 @@ module Oo : sig
   external id : < .. > -> int = "%field1"
 end 
 
-module Printexc : sig 
-  type raw_backtrace_slot
-  type backtrace_slot
-end 
 
-module Gc : sig 
- type stat
- type control
-end 
 
-module CamlinternalOO : sig 
-  type obj
-  type closure
-end 
-
-module CamlinternalMod : sig 
-  type shape =
-    | Function
-    | Lazy
-    | Class
-    | Module of shape array
-    | Value of Obj.t
-end 
 
 (* We should give it a name like FloatRT to avoid occasional shadowing *)
 module FloatRT : sig 

jscomp/runtime/caml_gc.ml

@@ -25,12 +25,12 @@
 
 
 
-
+type (*Gc.*)control
 
 let caml_gc_counters : unit -> (float * float * float) = fun () -> (0.,0.,0.)
 
 
-let caml_gc_set : Gc.control -> unit = fun _ -> ();;
+let caml_gc_set : control -> unit = fun _ -> ();;
 
 let caml_gc_minor : unit -> unit = fun _ -> ();;
 

jscomp/runtime/caml_gc.mli

@@ -24,10 +24,11 @@
 
 
 
+type control
 
 val caml_gc_counters : unit -> float * float * float
 
-val caml_gc_set : Gc.control -> unit
+val caml_gc_set : control -> unit
 val caml_gc_minor : unit -> unit
 val caml_gc_major_slice : int -> int
 val caml_gc_major : unit -> unit

jscomp/runtime/caml_lexer.ml

@@ -25,7 +25,8 @@
 
 
 
-
+type lex_tables 
+type lexbuf
 
 (** *)
 
@@ -348,12 +349,12 @@ function $$caml_new_lex_engine(tbl, start_state, lexbuf) {
 }
 |}]
 
-external caml_lex_engine : Lexing.lex_tables -> int -> Lexing.lexbuf -> int =
+external caml_lex_engine : lex_tables -> int -> lexbuf -> int =
   "$$caml_lex_engine"
 [@@bs.val ] 
 (* [@@bs.local] *)
 
-external caml_new_lex_engine : Lexing.lex_tables -> int -> Lexing.lexbuf -> int
+external caml_new_lex_engine : lex_tables -> int -> lexbuf -> int
   = "$$caml_new_lex_engine"
 [@@bs.val ]
  (* [@@bs.local] *)

jscomp/runtime/caml_lexer.mli

@@ -26,13 +26,16 @@
 
 
 
-(** *)
+
+(* the same as Lexing *)
+type lex_tables 
+type lexbuf
 
 val fail : unit -> 'a 
 (* export to avoid it getting shaked *)
 val caml_lex_engine : 
-  Lexing.lex_tables -> int -> Lexing.lexbuf -> int
+  lex_tables -> int -> lexbuf -> int
 
 
 val caml_new_lex_engine : 
-  Lexing.lex_tables -> int -> Lexing.lexbuf -> int
+  lex_tables -> int -> lexbuf -> int

jscomp/runtime/caml_module.ml

@@ -22,9 +22,20 @@
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-(** This module replaced camlinternalMod completely *)
+(** This module replaced camlinternalMod completely. 
+  Note we can replace {!CamlinternalMod} completely, but it is not replaced 
+  due to we believe this is an even low level dependency
+*)
+
+
+type shape = 
+   | Function
+   | Lazy
+   | Class
+   | Module of shape array
+   | Value of Obj.t
+(* ATTENTION: check across versions *)
 
-type shape = CamlinternalMod.shape
 (** Note that we have to provide a drop in replacement, since compiler internally will
     spit out ("CamlinternalMod".[init_mod|update_mod] unless we intercept it 
     in the lambda layer

jscomp/runtime/caml_oo.ml

@@ -30,6 +30,8 @@
 
 
 
+type obj
+type closure 
 
 (** *)
 
@@ -43,13 +45,13 @@
 let caml_methods_cache = 
     Array.make 1000 0 
 
-external get_methods : CamlinternalOO.obj -> CamlinternalOO.closure array =
+external get_methods : obj -> closure array =
   "%field0"
 
 
 let caml_get_public_method 
-    (obj : CamlinternalOO.obj) 
-    (tag : int) (cacheid  : int) : CamlinternalOO.closure =
+    (obj : obj) 
+    (tag : int) (cacheid  : int) : closure =
   let meths = get_methods obj in
   let offs =  caml_methods_cache.(cacheid) in
   if (Bs_obj.magic meths.(offs) : int) = tag then meths.(offs - 1)

jscomp/runtime/caml_oo.mli

@@ -29,5 +29,7 @@
 
 
 (** *)
+type obj
+type closure 
 
-val caml_get_public_method : CamlinternalOO.obj -> int -> int -> CamlinternalOO.closure
+val caml_get_public_method : obj -> int -> int -> closure

jscomp/runtime/caml_parser.ml

@@ -386,10 +386,12 @@ function $$caml_set_parser_trace(v) {
 }
 
 |}]
+type parse_tables 
+type parser_env 
 
 external caml_parse_engine :     
-  Parsing.parse_tables -> 
-  Parsing.parser_env -> 
+  parse_tables -> 
+  parser_env -> 
   (* Parsing.parser_input *) Obj.t ->
    Obj.t -> 
    (* parser_output *) Obj.t = "$$caml_parse_engine"

jscomp/runtime/caml_parser.mli

@@ -26,9 +26,11 @@
 
 
 (** *)
+type parse_tables 
+type parser_env
 
 val  caml_parse_engine :     
-  Parsing.parse_tables -> Parsing.parser_env -> 
+  parse_tables -> parser_env -> 
   Obj.t (* Parsing.parser_input *) -> Obj.t -> 
   (* parser_output *)  Obj.t