Make Obj.dup work on floats and boxed integers

Author: vouillon

compiler/lib/generate.ml

@@ -1159,8 +1159,6 @@ let _ =
   register_tern_prim "caml_array_unsafe_set" (fun cx cy cz _ ->
       J.EBin (J.Eq, Mlvalue.Array.field cx cy, cz));
   register_un_prim "caml_alloc_dummy" `Pure (fun _ _ -> J.array []);
-  register_un_prim "caml_obj_dup" ~need_loc:true `Mutable (fun cx loc ->
-      J.call (J.dot cx (Utf8_string.of_string_exn "slice")) [] loc);
   register_un_prim "caml_int_of_float" `Pure (fun cx _loc -> to_int cx);
   register_un_math_prim "caml_abs_float" "abs";
   register_un_math_prim "caml_acos_float" "acos";

compiler/tests-jsoo/test_obj.ml

@@ -45,7 +45,7 @@ let%expect_test "is_int" =
 (* https://github.com/ocsigen/js_of_ocaml/issues/666 *)
 (* https://github.com/ocsigen/js_of_ocaml/pull/725 *)
 
-let%expect_test "dup" =
+let%expect_test "dup string/bytes" =
   let magic = "abcd" in
   let js_string_enabled =
     match Sys.backend_type with
@@ -71,6 +71,55 @@ let%expect_test "dup" =
     true
   |}]
 
+let%expect_test "dup tuple" =
+  let x = (1, "a", 2.1) in
+  let x' = Obj.obj (Obj.dup (Obj.repr x)) in
+  print_bool (x = x');
+  print_bool (x != x');
+  [%expect {|
+    true
+    true
+  |}]
+
+let%expect_test "dup numbers" =
+  let js =
+    match Sys.backend_type with
+    | Other "js_of_ocaml" -> true
+    | _ -> false
+  in
+  let x = 2.1 in
+  let x' = Obj.obj (Obj.dup (Obj.repr x)) in
+  print_bool (x = x');
+  print_bool ((not js) = (x != x'));
+  [%expect {|
+    true
+    true
+  |}];
+  let x = 21L in
+  let x' = Obj.obj (Obj.dup (Obj.repr x)) in
+  print_bool (x = x');
+  print_bool (x != x');
+  [%expect {|
+    true
+    true
+  |}];
+  let x = 21l in
+  let x' = Obj.obj (Obj.dup (Obj.repr x)) in
+  print_bool (x = x');
+  print_bool ((not js) = (x != x'));
+  [%expect {|
+    true
+    true
+  |}];
+  let x = 21n in
+  let x' = Obj.obj (Obj.dup (Obj.repr x)) in
+  print_bool (x = x');
+  print_bool ((not js) = (x != x'));
+  [%expect {|
+    true
+    true
+  |}]
+
 let%expect_test "sameness" =
   (* FIXME: Jsoo returns the wrong opposite result for cases below.
      Would be fixed by GH#1410 *)

runtime/js/int64.js

@@ -30,7 +30,7 @@ class MlInt64 {
     this.caml_custom = "_j";
   }
 
-  copy() {
+  slice() {
     return new MlInt64(this.lo, this.mi, this.hi);
   }
 
@@ -179,8 +179,8 @@ class MlInt64 {
 
   udivmod(x) {
     var offset = 0;
-    var modulus = this.copy();
-    var divisor = x.copy();
+    var modulus = this.slice();
+    var divisor = x.slice();
     var quotient = new MlInt64(0, 0, 0);
     while (modulus.ucompare(divisor) > 0) {
       offset++;

runtime/js/obj.js

@@ -81,10 +81,7 @@ function caml_obj_with_tag(tag, x) {
 
 //Provides: caml_obj_dup mutable (mutable)
 function caml_obj_dup(x) {
-  var l = x.length;
-  var a = new Array(l);
-  for (var i = 0; i < l; i++) a[i] = x[i];
-  return a;
+  return typeof x === "number"?x:x.slice();
 }
 
 //Provides: caml_obj_truncate (mutable, const)