WIP

Author: hhugo

compiler/tests-jsoo/test_weak.ml

@@ -0,0 +1,62 @@
+(* Js_of_ocaml tests
+ * http://www.ocsigen.org/js_of_ocaml/
+ * Copyright (C) 2024 Hugo Heuzard
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation, with linking exception;
+ * either version 2.1 of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU Lesser General Public License for more details.
+ *
+ * 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%expect_test _ =
+  let k1 = Some 2 in
+  let k2 = Some 3 in
+  let k3 = Some 4 in
+  let d = k1, k2, k3 in
+  let e = Ephemeron.Kn.make [| k1; k2; k3 |] d in
+  (match Ephemeron.Kn.query e [| k1; k2; k3 |] with
+  | None -> print_endline "none"
+  | Some d' ->
+      assert (d = d');
+      print_endline "found");
+  [%expect {| found |}]
+
+let%expect_test _ =
+  let module K = struct
+    type t = int option
+
+    let equal (a : t) (b : t) = a = b
+
+    let hash (x : t) = Hashtbl.hash x
+  end in
+  let module T = Ephemeron.Kn.Make (K) in
+  let f y =
+    let k1 = Some 2 in
+    let k2 = Some 3 in
+    let k3 = Some y in
+    let d = k1, k2, k3 in
+    let t = T.create 10 in
+    T.add t [| k1; k2; k3 |] d;
+    T.add t [| k2; k3; k1 |] d;
+    T.add t [| k3; k1; k2 |] d;
+    match T.find_opt t [| k1; k2; k3 |] with
+    | None -> print_endline "none"
+    | Some d' ->
+        assert (d = d');
+        print_endline "found"
+  in
+  f 3;
+  f 2;
+  [%expect {|
+    found
+    found
+    |}]

runtime/weak.js

@@ -207,7 +207,7 @@ function caml_ephe_get_data_copy(x) {
 //Requires: caml_ephe_data_offset, caml_ephe_key_offset
 //Requires: caml_ephe_none
 function caml_ephe_set_data(x, data) {
-  for (var i = x.length - 1; i >= caml_ephe_key_offset; i --) {
+  for (var i = x.length - 1; i >= caml_ephe_key_offset; i--) {
     var k = x[i];
     if (k === caml_ephe_none) continue;
     if (!(globalThis.WeakRef && k instanceof globalThis.WeakRef)) continue;