1 files changed, 24 insertions, 0 deletions
diff --git a/src/test/pattern.sail b/src/test/pattern.sail
new file mode 100644
index 00000000..35a6b632
--- /dev/null
+++ b/src/test/pattern.sail
@@ -0,0 +1,24 @@
+
+register nat n
+register nat x
+register nat y
+
+function unit main _ = {
+
+  (* works - x and y are set to 42 *)
+  n := 1;
+  y :=
+  (switch n {
+    case 0 -> { x := 21; x }
+    case 1 -> { x := 42; x } 
+    case x -> { x := 99; x }
+  });
+
+  (* doesn't work - main returns 1 instead of 42 *)
+  n := 1;
+  switch n {
+    case 0 -> { 21 }
+    case 1 -> { 42 } 
+    case x -> { 99 }
+  }
+}