Add dune profile for native effects

Author: vouillon

compiler/tests-dynlink-js/effects_flags.ml

@@ -4,6 +4,7 @@ let () =
     match l, major >= 5 with
     | [ "with-effects-double-translation" ], true -> [ "--effects"; "double-translation" ]
     | [ "with-effects" ], true -> [ "--effects"; "cps" ]
+    | [ "with-native-effects" ], true -> [ "--effects"; "cps" ]
     | _ -> [ "--effects"; "disabled" ]
   in
   match Sys.argv |> Array.to_list |> List.tl with

compiler/tests-jsoo/lib-effects/dune

@@ -1,6 +1,7 @@
 (env
  (with-effects-double-translation)
  (with-effects)
+ (with-native-effects)
  (_
   (js_of_ocaml
    (flags

compiler/tests-ocaml/effect-syntax/dune

@@ -1,6 +1,7 @@
 (env
  (with-effects-double-translation)
  (with-effects)
+ (with-native-effects)
  (_
   (js_of_ocaml
    (flags

compiler/tests-ocaml/effects/dune

@@ -1,6 +1,7 @@
 (env
  (with-effects-double-translation)
  (with-effects)
+ (with-native-effects)
  (_
   (js_of_ocaml
    (flags

compiler/tests-sourcemap/dune

@@ -7,7 +7,9 @@
  (name test)
  (modules test)
  (enabled_if
-  (<> %{profile} with-effects))
+  (and
+   (<> %{profile} with-effects)
+   (<> %{profile} with-native-effects)))
  (modes js)
  (js_of_ocaml
   (link_flags

dune

@@ -36,6 +36,17 @@
   (binaries
    (tools/node_wrapper.exe as node)
    (tools/node_wrapper.exe as node.exe)))
+ (with-native-effects
+  (js_of_ocaml
+   ;; Native effects is not supported in js
+   (enabled_if false))
+  (wasm_of_ocaml
+   (compilation_mode whole_program)
+   (flags
+    (:standard --effects native)))
+  (binaries
+   (tools/node_wrapper.exe as node)
+   (tools/node_wrapper.exe as node.exe)))
  (bench_no_debug
   (flags
    (:standard \ -g))

toplevel/examples/lwt_toplevel/effects_flags.ml

@@ -4,6 +4,7 @@ let () =
     match l, major >= 5 with
     | [ "with-effects-double-translation" ], true -> [ "--effects"; "double-translation" ]
     | [ "with-effects" ], true -> [ "--effects"; "cps" ]
+    | [ "with-native-effects" ], true -> [ "--effects"; "cps" ]
     | _, true -> [ "--effects"; "cps" ]
     | _, false -> [ "--effects"; "disabled" ]
   in