Fix runtime deps, add missing test

Author: OlivierNicole

compiler/tests-ocaml/lib-effects/assume_no_perform_unhandled.ml

@@ -0,0 +1,26 @@
+open Printf
+open Effect
+open Effect.Deep
+
+type _ Effect.t += Dummy : unit t
+
+let must_raise () =
+  try_with
+    (fun () ->
+      Js_of_ocaml.Js.Effect.assume_no_perform (fun () ->
+        (* Should raise [Effect.Unhandled] despite the installed handler *)
+        perform Dummy
+      )
+    )
+    ()
+    { effc =
+        (fun (type a) (e : a Effect.t) ->
+          match e with
+          | Dummy -> Some (fun (k : (a, _) continuation) -> continue k ())
+          | _ -> None)
+    }
+
+let () =
+  try
+    must_raise (); print_endline "failed"; exit 2
+  with Effect.Unhandled Dummy -> print_endline "ok"

compiler/tests-ocaml/lib-effects/assume_no_perform_unhandled.reference

@@ -0,0 +1 @@
+ok

compiler/tests-ocaml/lib-effects/double-translation/assume_no_perform_unhandled.ml

@@ -0,0 +1,26 @@
+open Printf
+open Effect
+open Effect.Deep
+
+type _ Effect.t += Dummy : unit t
+
+let must_raise () =
+  try_with
+    (fun () ->
+      Js_of_ocaml.Js.Effect.assume_no_perform (fun () ->
+        (* Should raise [Effect.Unhandled] despite the installed handler *)
+        perform Dummy
+      )
+    )
+    ()
+    { effc =
+        (fun (type a) (e : a Effect.t) ->
+          match e with
+          | Dummy -> Some (fun (k : (a, _) continuation) -> continue k ())
+          | _ -> None)
+    }
+
+let () =
+  try
+    must_raise (); print_endline "failed"; exit 2
+  with Effect.Unhandled Dummy -> print_endline "ok"

compiler/tests-ocaml/lib-effects/double-translation/assume_no_perform_unhandled.reference

@@ -0,0 +1 @@
+ok

runtime/js/effect.js

@@ -76,7 +76,6 @@ function caml_pop_trap() {
 //Provides: caml_raise_unhandled
 //Requires: caml_named_value, caml_raise_with_arg, caml_raise_constant, caml_string_of_jsbytes, caml_fresh_oo_id
 //If: effects
-//If: doubletranslate
 function caml_raise_unhandled(eff) {
   var exn = caml_named_value("Effect.Unhandled");
   if (exn) caml_raise_with_arg(exn, eff);
@@ -90,11 +89,10 @@ function caml_raise_unhandled(eff) {
   }
 }
 
-//Provides: caml_uncaught_effect_handler
+//Provides: uncaught_effect_handler
 //Requires: caml_resume_stack, caml_raise_unhandled
 //If: effects
-//If: doubletranslate
-function caml_uncaught_effect_handler(eff, k, ms) {
+function uncaught_effect_handler(eff, k, ms) {
   // Resumes the continuation k by raising exception Unhandled.
   caml_resume_stack(k[1], ms);
   caml_raise_unhandled(eff);

runtime/js/jslib.js

@@ -85,15 +85,15 @@ var caml_callback = caml_call_gen;
 //Provides: caml_callback
 //If: effects
 //If: !doubletranslate
-//Requires:caml_stack_depth, caml_call_gen, caml_exn_stack, caml_fiber_stack, caml_wrap_exception, caml_uncaught_effect_handler
+//Requires:caml_stack_depth, caml_call_gen, caml_exn_stack, caml_fiber_stack, caml_wrap_exception, uncaught_effect_handler
 function caml_callback(f, args) {
   var saved_stack_depth = caml_stack_depth;
   var saved_exn_stack = caml_exn_stack;
   var saved_fiber_stack = caml_fiber_stack;
   try {
     caml_exn_stack = 0;
     caml_fiber_stack = {
-      h: [0, 0, 0, caml_uncaught_effect_handler],
+      h: [0, 0, 0, uncaught_effect_handler],
       r: { k: 0, x: 0, e: 0 },
     };
     var res = {
@@ -125,7 +125,7 @@ function caml_callback(f, args) {
 //Provides: caml_callback
 //If: effects
 //If: doubletranslate
-//Requires:caml_stack_depth, caml_call_gen, caml_exn_stack, caml_fiber_stack, caml_uncaught_effect_handler
+//Requires:caml_stack_depth, caml_call_gen, caml_exn_stack, caml_fiber_stack, uncaught_effect_handler
 //Requires: caml_raise_constant
 function caml_callback(f, args) {
   var saved_stack_depth = caml_stack_depth;
@@ -134,7 +134,7 @@ function caml_callback(f, args) {
   try {
     caml_exn_stack = 0;
     caml_fiber_stack = {
-      h: [0, 0, 0, caml_uncaught_effect_handler],
+      h: [0, 0, 0, uncaught_effect_handler],
       r: { k: 0, x: 0, e: 0 },
     };
     return caml_call_gen(f, args);