1 files changed, 9 insertions, 0 deletions
diff --git a/test/typecheck/pass/nzcv.sail b/test/typecheck/pass/nzcv.sail
new file mode 100644
index 00000000..a477cd97
--- /dev/null
+++ b/test/typecheck/pass/nzcv.sail
@@ -0,0 +1,9 @@
+default Order dec
+
+val bit[4] -> unit effect pure test
+
+function test nzcv =
+{
+  (N,Z,C,V) := nzcv;
+  ()
+}