OxCaml: Sys.with_async_exns

Add primitive caml_with_async_exns.

Author: vouillon

compiler/bin-js_of_ocaml/js_of_ocaml.ml

@@ -43,6 +43,8 @@ let () =
     | _ -> argv
   in
   try
+    with_async_exns
+    @@ fun () ->
     match
       Cmdliner.Cmd.eval_value
         ~catch:false

compiler/bin-jsoo_minify/jsoo_minify.ml

@@ -92,7 +92,7 @@ let main =
   Cmdliner.Cmd.v Cmd_arg.info t
 
 let (_ : int) =
-  try Cmdliner.Cmd.eval ~catch:false ~argv:Sys.argv main with
+  try with_async_exns @@ fun () -> Cmdliner.Cmd.eval ~catch:false ~argv:Sys.argv main with
   | (Match_failure _ | Assert_failure _ | Not_found) as exc ->
       let backtrace = Printexc.get_backtrace () in
       Format.eprintf

compiler/bin-wasm_of_ocaml/wasm_of_ocaml.ml

@@ -41,6 +41,8 @@ let () =
     | _ -> argv
   in
   try
+    with_async_exns
+    @@ fun () ->
     match
       Cmdliner.Cmd.eval_value
         ~catch:false

compiler/lib/stdlib.ml

@@ -1204,3 +1204,7 @@ module Lexing = struct
       Printf.sprintf "File \"%s\", line %d, characters %d-%d:\n" file line char1 char2
   (* use [char1 + 1] and [char2 + 1] if *not* using Caml mode *)
 end
+
+let with_async_exns = Sys.with_async_exns [@@if oxcaml]
+
+let with_async_exns f = f () [@@if not oxcaml]

runtime/js/stdlib.js

@@ -300,3 +300,11 @@ function caml_is_printable(c) {
 function caml_maybe_print_stats(_unit) {
   return 0;
 }
+
+//Provides: caml_with_async_exns
+//Requires: caml_callback
+//Version: >= 5.2, < 5.3
+//OxCaml
+function caml_with_async_exns(body_callback) {
+  return caml_callback(body_callback, [0]);
+}

runtime/wasm/stdlib.wat

@@ -234,4 +234,7 @@
                   (call $unwrap
                      (call $caml_jsstring_of_string (local.get $msg)))))
             (call $exit (i32.const 2)))))
+
+   (func (export "caml_with_async_exns") (param $f (ref eq)) (result (ref eq))
+      (return_call $caml_callback_1 (local.get $f) (ref.i31 (i32.const 0))))
 )