1 files changed, 18 insertions, 0 deletions
diff --git a/tests/tooEager.ur b/tests/tooEager.ur
new file mode 100644
index 00000000..c84a6d6c
--- /dev/null
+++ b/tests/tooEager.ur
@@ -0,0 +1,18 @@
+fun test (i: list int) : transaction unit =
+    a <- return (Some "abc");
+    c <- (case a of
+            None => return "1"
+          | Some b =>
+            debug "not happening :(";
+            return "2"
+         );
+    (case i of
+       [] => return ()
+     | first :: _ => debug c)
+
+fun main (): transaction page =
+    return <xml>
+      <body>
+        <button onclick={fn _ => rpc (test [])}>click</button>
+      </body>
+    </xml>