Merge branch 'experiments' into mono-experiments

2 files changed, 12 insertions, 0 deletions

diff --git a/test/ocaml/pattern1/expect b/test/ocaml/pattern1/expect
new file mode 100644
index 00000000..2ae28399
--- /dev/null
+++ b/test/ocaml/pattern1/expect
@@ -0,0 +1 @@
+pass
diff --git a/test/ocaml/pattern1/pattern.sail b/test/ocaml/pattern1/pattern.sail
new file mode 100644
index 00000000..a2314adc
--- /dev/null
+++ b/test/ocaml/pattern1/pattern.sail
@@ -0,0 +1,11 @@
+
+val unit -> unit effect pure main
+
+function main () = {
+  vec := 0x4F;
+  switch vec {
+    case (0b01 : (bit[2]) x : 0xF) ->
+      if (x == 0b00) then print("pass") else print("x is incorrect")
+    case _ -> print("pattern fail")
+  }
+}