rescript-lang · bobzhang · Feb 17, 2017 · Feb 17, 2017
diff --git a/jscomp/bin/bsb.ml b/jscomp/bin/bsb.ml
@@ -2779,9 +2779,9 @@ end = struct
  * You should have received a copy of the GNU Lesser General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)    
-let version = "1.4.3"
+let version = "1.5.0+dev"
 let header = 
-   "// Generated by BUCKLESCRIPT VERSION 1.4.3, PLEASE EDIT WITH CARE"  
+   "// Generated by BUCKLESCRIPT VERSION 1.5.0+dev, PLEASE EDIT WITH CARE"  
 let package_name = "bs-platform"   
 
 end

diff --git a/jscomp/bin/bsdep.ml b/jscomp/bin/bsdep.ml
@@ -56,9 +56,9 @@ end = struct
  * You should have received a copy of the GNU Lesser General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)    
-let version = "1.4.3"
+let version = "1.5.0+dev"
 let header = 
-   "// Generated by BUCKLESCRIPT VERSION 1.4.3, PLEASE EDIT WITH CARE"  
+   "// Generated by BUCKLESCRIPT VERSION 1.5.0+dev, PLEASE EDIT WITH CARE"  
 let package_name = "bs-platform"   
 
 end
@@ -23701,8 +23701,6 @@ let is_single_int (x : t ) =
       _}] -> Some name
   | _  -> None
 
-
-
 let as_string_exp (x : t ) = 
   match x with  (** TODO also need detect empty phrase case *)
   | PStr [ {
@@ -25362,8 +25360,6 @@ val bs_method : attr
 
 val warn_unused_attributes : t -> unit
 
-
-
 end = struct
 #1 "ast_attributes.ml"
 (* Copyright (C) 2015-2016 Bloomberg Finance L.P.

diff --git a/jscomp/bin/bsppx.ml b/jscomp/bin/bsppx.ml
@@ -5494,8 +5494,6 @@ let is_single_int (x : t ) =
       _}] -> Some name
   | _  -> None
 
-
-
 let as_string_exp (x : t ) = 
   match x with  (** TODO also need detect empty phrase case *)
   | PStr [ {
@@ -7155,8 +7153,6 @@ val bs_method : attr
 
 val warn_unused_attributes : t -> unit
 
-
-
 end = struct
 #1 "ast_attributes.ml"
 (* Copyright (C) 2015-2016 Bloomberg Finance L.P.
@@ -9382,9 +9378,9 @@ end = struct
  * You should have received a copy of the GNU Lesser General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)    
-let version = "1.4.3"
+let version = "1.5.0+dev"
 let header = 
-   "// Generated by BUCKLESCRIPT VERSION 1.4.3, PLEASE EDIT WITH CARE"  
+   "// Generated by BUCKLESCRIPT VERSION 1.5.0+dev, PLEASE EDIT WITH CARE"  
 let package_name = "bs-platform"   
 
 end

diff --git a/jscomp/bin/whole_compiler.ml b/jscomp/bin/whole_compiler.ml
@@ -56,9 +56,9 @@ end = struct
  * You should have received a copy of the GNU Lesser General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)    
-let version = "1.4.3"
+let version = "1.5.0+dev"
 let header = 
-   "// Generated by BUCKLESCRIPT VERSION 1.4.3, PLEASE EDIT WITH CARE"  
+   "// Generated by BUCKLESCRIPT VERSION 1.5.0+dev, PLEASE EDIT WITH CARE"  
 let package_name = "bs-platform"   
 
 end
@@ -69681,9 +69681,10 @@ let rec no_side_effects (lam : Lam.t) : bool =
           | _ , _-> false
         end 
       | Pjs_call _ -> false 
+      | Pjs_fn_make _         
       | Pjs_object_create _ -> 
         List.for_all no_side_effects args   
-        (** TODO: check *)
+        (** TODO: check *)      
       | Pbytes_to_string 
       | Pbytes_of_string 
       | Pglobal_exception _
@@ -69747,7 +69748,7 @@ let rec no_side_effects (lam : Lam.t) : bool =
       | Pupdate_mod
       | Pjs_unsafe_downgrade _
       | Pdebugger 
-      | Pjs_fn_run _ | Pjs_fn_make _
+      | Pjs_fn_run _ 
       | Pjs_fn_method _ | Pjs_fn_runmethod _
       (* TODO *)
 
@@ -89558,14 +89559,7 @@ val translate_ffi :
     Attributes starting with `js` are reserved
     examples: "bs.splice"
  *)
-(*
-val translate :
-  Location.t ->
-  Lam_compile_defs.cxt -> 
-  Primitive.description -> 
-  J.expression list -> 
-  J.expression
-*)
+
 end = struct
 #1 "lam_compile_external_call.ml"
 (* Copyright (C) 2015-2016 Bloomberg Finance L.P.
@@ -98126,8 +98120,6 @@ let is_single_int (x : t ) =
       _}] -> Some name
   | _  -> None
 
-
-
 let as_string_exp (x : t ) = 
   match x with  (** TODO also need detect empty phrase case *)
   | PStr [ {
@@ -98345,8 +98337,6 @@ val bs_method : attr
 
 val warn_unused_attributes : t -> unit
 
-
-
 end = struct
 #1 "ast_attributes.ml"
 (* Copyright (C) 2015-2016 Bloomberg Finance L.P.

diff --git a/jscomp/common/bs_version.ml b/jscomp/common/bs_version.ml
@@ -22,8 +22,8 @@
  * You should have received a copy of the GNU Lesser General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)    
-let version = "1.4.3"
+let version = "1.5.0+dev"
 let header = 
-   "// Generated by BUCKLESCRIPT VERSION 1.4.3, PLEASE EDIT WITH CARE"  
+   "// Generated by BUCKLESCRIPT VERSION 1.5.0+dev, PLEASE EDIT WITH CARE"  
 let package_name = "bs-platform"   
 
diff --git a/jscomp/test/.depend b/jscomp/test/.depend
@@ -174,6 +174,7 @@ for_side_effect_test.cmj : mt.cmj
 format_regression.cmj :
 format_test.cmj : mt.cmj ../stdlib/format.cmj
 fs_test.cmj : ../others/node.cmj mt.cmj ../runtime/js.cmj
+functor_ffi.cmj : ../runtime/js.cmj
 gbk.cmj : ../runtime/js.cmj
 genlex_test.cmj : ../stdlib/stream.cmj mt.cmj ../stdlib/list.cmj \
     ../stdlib/genlex.cmj
@@ -236,8 +237,7 @@ int_overflow_test.cmj : ../stdlib/string.cmj mt.cmj ../stdlib/int32.cmj \
 io_test.cmj : ../runtime/js.cmj
 js_array_test.cmj : mt.cmj ../runtime/js.cmj
 js_bool_test.cmj : mt.cmj ../runtime/js.cmj
-js_date.cmj : ../runtime/js.cmj
-js_date_test.cmj : mt.cmj js_date.cmj
+js_date_test.cmj : mt.cmj ../runtime/js_float.cmj ../runtime/js.cmj
 js_json_test.cmj : mt.cmj ../runtime/js.cmj
 js_obj_test.cmj : mt.cmj
 js_re_test.cmj : mt.cmj ../runtime/js.cmj ../stdlib/array.cmj
@@ -278,7 +278,8 @@ module_missing_conversion.cmj : ../stdlib/string.cmj \
 module_parameter_test.cmj : ../stdlib/string.cmj mt.cmj
 module_splice_test.cmj : mt.cmj ../runtime/js.cmj
 more_uncurry.cmj :
-mt.cmj : ../others/node.cmj ../stdlib/list.cmj ../stdlib/array.cmj mt.cmi
+mt.cmj : ../others/node.cmj ../stdlib/list.cmj ../runtime/js.cmj \
+    ../stdlib/array.cmj mt.cmi
 mt_global.cmj : mt.cmj mt_global.cmi
 mutable_obj_test.cmj : ../runtime/js.cmj
 mutual_non_recursive_type.cmj :
@@ -304,6 +305,7 @@ ocaml_proto_test.cmj : ../stdlib/string.cmj ../stdlib/printf.cmj \
     ../stdlib/char.cmj ocaml_proto_test.cmi
 of_string_test.cmj : mt.cmj
 offset.cmj : ../stdlib/string.cmj ../stdlib/set.cmj
+oo_js_test_date.cmj : mt.cmj ../runtime/js.cmj
 optional_ffi_test.cmj : mt.cmj
 pipe_send_readline.cmj : ../runtime/js.cmj
 poly_type.cmj : ../runtime/js.cmj

diff --git a/jscomp/test/Makefile b/jscomp/test/Makefile
@@ -97,7 +97,8 @@ OTHERS := literals a test_ari test_export2 test_internalOO test_obj_simple_ffi t
 	js_re_test\
 	name_mangle_test\
 	oo_js_test_date\
-	bs_uncurry_test
+	bs_uncurry_test\
+	functor_ffi
 
 
 SOURCE_LIST :=  $(OTHERS)

diff --git a/jscomp/test/functor_ffi.js b/jscomp/test/functor_ffi.js
@@ -0,0 +1,28 @@
+'use strict';
+
+var Js_primitive = require("../../lib/js/js_primitive");
+
+function Make() {
+  var opt_get = function (f, i) {
+    return Js_primitive.js_from_def(f[i]);
+  };
+  return /* module */[/* opt_get */opt_get];
+}
+
+function opt_get(f, i) {
+  return Js_primitive.js_from_def(f[i]);
+}
+
+var Int_arr = /* module */[/* opt_get */opt_get];
+
+function f(v) {
+  return /* tuple */[
+          v[0],
+          Js_primitive.js_from_def(v[1])
+        ];
+}
+
+exports.Make    = Make;
+exports.Int_arr = Int_arr;
+exports.f       = f;
+/* No side effect */
diff --git a/jscomp/test/functor_ffi.ml b/jscomp/test/functor_ffi.ml
@@ -0,0 +1,21 @@
+
+
+
+
+module Make  ( S : sig type elt end ) = struct
+    open S 
+    type 'a t 
+    external unsafe_get : elt t -> int -> elt = "" [@@bs.get_index]
+
+    external get : elt t -> int -> elt Js.undefined = "" [@@bs.get_index]
+
+    let opt_get f i = 
+        Js.Undefined.to_opt @@ get f i 
+end
+
+module Int_arr = Make ( struct type elt = int end)
+
+
+let f v : int  * _ option = 
+    Int_arr.unsafe_get v 0 , 
+    Int_arr.opt_get v 1
diff --git a/lib/es6/bs_dyn.js b/lib/es6/bs_dyn.js
@@ -177,4 +177,4 @@ export {
   shape_of_record    ,
 
 }
-/* int32_to_value Not a pure module */
+/* No side effect */
diff --git a/lib/es6/js.js b/lib/es6/js.js
@@ -25,6 +25,8 @@ var $$Boolean = 0;
 
 var $$Math = 0;
 
+var $$Date = 0;
+
 export {
   Null           ,
   Undefined      ,
@@ -38,6 +40,7 @@ export {
   Obj            ,
   $$Boolean      ,
   $$Math         ,
+  $$Date         ,
 
 }
 /* No side effect */
diff --git a/package.json b/package.json
@@ -35,7 +35,7 @@
     "postinstall": "node scripts/install.js"
   },
   "name": "bs-platform",
-  "version": "1.4.3",
+  "version": "1.5.0+dev",
   "description": "bucklescript compiler, ocaml standard libary by bucklescript and its required runtime support",
   "repository": {
     "type": "git",