Runtimes: add primitive caml_throw_js_exception

To remove any dependency of Jsoo_runtime on JavaScript.

Author: vouillon

lib/runtime/js_of_ocaml_runtime_stubs.c

@@ -272,6 +272,10 @@ void caml_string_of_uint8_array () {
   caml_fatal_error("Unimplemented Javascript primitive caml_string_of_uint8_array!");
 }
 
+void caml_throw_js_exception () {
+  caml_fatal_error("Unimplemented Javascript primitive caml_throw_js_exception!");
+}
+
 void caml_unmount () {
   caml_fatal_error("Unimplemented Javascript primitive caml_unmount!");
 }

lib/runtime/jsoo_runtime.ml

@@ -177,7 +177,7 @@ end = struct
 
   let _ = Callback.register_exception "jsError" (Exn (Obj.magic [||]))
 
-  let raise_ : t -> 'a = Js.js_expr "(function (exn) { throw exn })"
+  external raise_ : t -> 'a = "caml_throw_js_exception"
 
   external of_exn : exn -> t option = "caml_js_error_option_of_exception"
 

runtime/js/jslib.js

@@ -203,6 +203,11 @@ function caml_js_error_option_of_exception(exn) {
   return 0;
 }
 
+//Provides: caml_throw_js_exception
+function caml_throw_js_exception(exn) {
+  throw exn;
+}
+
 //Provides: caml_js_from_bool const (const)
 function caml_js_from_bool(x) {
   return !!x;

runtime/wasm/jslib.wat

@@ -75,6 +75,8 @@
       (func $wrap_fun_arguments (param anyref) (result anyref)))
    (import "fail" "caml_failwith_tag"
       (func $caml_failwith_tag (result (ref eq))))
+   (import "fail" "javascript_exception"
+      (tag $javascript_exception (param externref)))
    (import "stdlib" "caml_named_value"
       (func $caml_named_value (param (ref eq)) (result (ref null eq))))
    (import "obj" "caml_callback_1"
@@ -666,6 +668,11 @@
                         (array.get $block (local.get $exn) (i32.const 2))))))))
       (ref.i31 (i32.const 0)))
 
+   (func (export "caml_throw_js_exception")
+      (param $exn (ref eq)) (result (ref eq))
+      (throw $javascript_exception
+         (extern.convert_any (call $unwrap (local.get $exn)))))
+
    (func (export "caml_js_error_of_exception")
       (param (ref eq)) (result (ref eq))
       (local $exn (ref $block))