1 files changed, 14 insertions, 0 deletions
diff --git a/test/c/and_block.sail b/test/c/and_block.sail
new file mode 100644
index 00000000..84baf492
--- /dev/null
+++ b/test/c/and_block.sail
@@ -0,0 +1,14 @@
+default Order dec
+
+$include <prelude.sail>
+
+val "print" : string -> unit
+
+val main : unit -> unit
+
+function main() = {
+  match 432 {
+    432 if { (); false } => print("1\n"),
+    _ => print("2\n")
+  }
+}
+\ No newline at end of file