[fix] provide dummy gc support and refactoring runtime (rescript-lang#286)

* split backtrace

* better handling gc module, it does not make senes to micro-optimize gc module which is never executed..

*  dummy gc support and refacotring of primitive dispatch

Author: bobzhang

Diff for: jscomp/js_config.ml

@@ -122,47 +122,52 @@ let stdlib_set = String_set.of_list [
 ]
 
 
-let prim               = "Caml_primitive" 
+let prim = "Caml_primitive" 
 let builtin_exceptions = "Caml_builtin_exceptions"
-let exceptions         = "Caml_exceptions"
-let io                 = "Caml_io"
-let sys                = "Caml_sys"
-let lexer              = "Caml_lexer"
-let parser             = "Caml_parser"
-let obj_runtime        = "Caml_obj"
-let array              = "Caml_array"
-let format             = "Caml_format"
-let string             = "Caml_string"
-let float              = "Caml_float"
-let hash               = "Caml_hash"
-let oo                 = "Caml_oo"
-let curry              = "Curry"
-let bigarray           = "Caml_bigarray"
-let unix               = "Caml_unix"
-let int64              = "Caml_int64"
-let md5                = "Caml_md5"
-let weak               = "Caml_weak"
-
+let exceptions = "Caml_exceptions"
+let io = "Caml_io"
+let sys = "Caml_sys"
+let lexer = "Caml_lexer"
+let parser = "Caml_parser"
+let obj_runtime = "Caml_obj"
+let array = "Caml_array"
+let format = "Caml_format"
+let string = "Caml_string"
+let float = "Caml_float"
+let hash = "Caml_hash"
+let oo = "Caml_oo"
+let curry = "Curry"
+let bigarray = "Caml_bigarray"
+let unix = "Caml_unix"
+let int64 = "Caml_int64"
+let md5 = "Caml_md5"
+let weak = "Caml_weak"
+let backtrace = "Caml_backtrace"
+let gc = "Caml_gc"
+let int32 = "Caml_int32"
 let runtime_set = 
   [
-  prim;               
-  builtin_exceptions ;
-  exceptions ; 
-  io ;
-  sys ;
-  lexer ;
-  parser ;
-  obj_runtime ;
-  array ;
-  format ;
-  string ;
-  float ;
-  hash ;
-  oo ;
-  curry ;
-  bigarray ;
-  unix ;
-  int64 ;
-  md5 ;
-  weak ] |> 
+    int32;
+    gc ;
+    backtrace; 
+    prim;               
+    builtin_exceptions ;
+    exceptions ; 
+    io ;
+    sys ;
+    lexer ;
+    parser ;
+    obj_runtime ;
+    array ;
+    format ;
+    string ;
+    float ;
+    hash ;
+    oo ;
+    curry ;
+    bigarray ;
+    unix ;
+    int64 ;
+    md5 ;
+    weak ] |> 
   List.fold_left (fun acc x -> String_set.add (String.uncapitalize x) acc ) String_set.empty

Diff for: jscomp/js_config.mli

@@ -34,6 +34,9 @@ val default_gen_tds : bool ref
 val runtime_set : String_set.t
 val stdlib_set : String_set.t
 
+val int32 : string
+val gc : string 
+val backtrace : string
 val prim : string 
 val builtin_exceptions : string
 val exceptions : string

Diff for: jscomp/js_exp_make.ml

@@ -1063,9 +1063,9 @@ let int32_mul ?comment
     if i >= 0 then 
       int32_lsl e (small_int i)
     else 
-      runtime_call ?comment Js_config.prim "imul" [e1;e2]
+      runtime_call ?comment Js_config.int32 Literals.imul [e1;e2]
   | _ -> 
-    runtime_call ?comment Js_config.prim "imul" [e1;e2]
+    runtime_call ?comment Js_config.int32 Literals.imul [e1;e2]
 
 let unchecked_int32_mul ?comment e1 e2 : J.expression = 
   { comment ; 

Diff for: jscomp/lam_compile_primitive.ml

@@ -622,17 +622,17 @@ let translate
       ("caml_ba_dim_" ^ string_of_int i) args       
   | Pbswap16 
     -> 
-    E.runtime_call Js_config.prim "caml_bswap16" args
+    E.runtime_call Js_config.int32 "caml_bswap16" args
   | Pbbswap Lambda.Pnativeint
   | Pbbswap Lambda.Pint32
     -> 
-    E.runtime_call Js_config.prim "caml_int32_bswap" args
+    E.runtime_call Js_config.int32 "caml_int32_bswap" args
   | Pbbswap Lambda.Pint64
     -> Js_long.swap args 
   | Pstring_load_16 unsafe
-    -> E.runtime_call Js_config.prim "caml_string_get16" args
+    -> E.runtime_call Js_config.string "caml_string_get16" args
   | Pstring_load_32 unsafe
-    -> E.runtime_call Js_config.prim "caml_string_get32" args
+    -> E.runtime_call Js_config.string "caml_string_get32" args
   | Pstring_load_64 unsafe
     -> Js_long.get64 args