Merge remote branch 'experiments' into experiments

2 files changed, 16 insertions, 0 deletions

diff --git a/test/ocaml/short_circuit/expect b/test/ocaml/short_circuit/expect
new file mode 100644
index 00000000..9766475a
--- /dev/null
+++ b/test/ocaml/short_circuit/expect
@@ -0,0 +1 @@
+ok
diff --git a/test/ocaml/short_circuit/sc.sail b/test/ocaml/short_circuit/sc.sail
new file mode 100644
index 00000000..a0f4941d
--- /dev/null
+++ b/test/ocaml/short_circuit/sc.sail
@@ -0,0 +1,15 @@
+
+val fail : unit -> bool effect {escape}
+
+function fail () = {
+  assert(false);
+  true
+}
+
+val main : unit -> unit effect {escape}
+
+function main () = {
+  assert(~(false & fail()));
+  assert(true | fail());
+  print("ok")
+}
\ No newline at end of file