1 files changed, 16 insertions, 0 deletions
diff --git a/test/typecheck/pass/nlflow.sail b/test/typecheck/pass/nlflow.sail
new file mode 100644
index 00000000..95d2d280
--- /dev/null
+++ b/test/typecheck/pass/nlflow.sail
@@ -0,0 +1,16 @@
+$option -non_lexical_flow
+
+default Order dec
+
+$include <prelude.sail>
+$include <exception_basic.sail>
+
+val foo : forall 'n, 'n != 8. int('n) -> unit
+
+function test(xs: vector(4, dec, bit)) -> unit = {
+  if xs == 0b1000 then {
+    throw(Exception())
+  };
+  let y = unsigned(xs);
+  foo(y)
+}
+\ No newline at end of file