More OCaml test cases

Improved handling of try/catch

Better handling of unprovable constraints when the environment contains
false

2 files changed, 15 insertions, 0 deletions

diff --git a/test/ocaml/void/expect b/test/ocaml/void/expect
new file mode 100644
index 00000000..559bf40a
--- /dev/null
+++ b/test/ocaml/void/expect
@@ -0,0 +1 @@
+Before
diff --git a/test/ocaml/void/void.sail b/test/ocaml/void/void.sail
new file mode 100644
index 00000000..485ac019
--- /dev/null
+++ b/test/ocaml/void/void.sail
@@ -0,0 +1,14 @@
+
+val void : forall 'n, 'n = 'n + 1. atom('n) -> unit
+
+function void _ = ()
+
+val main : unit -> unit
+
+function main () = {
+  print("Before");
+  if false then {
+    print("After");
+    void(0);
+  }
+}
\ No newline at end of file