From 404429ca9197a508efc1be5425d6fc4a00a5eae9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 13 Oct 2019 14:50:16 -0400 Subject: Undo a questionable optimization, almost 10 years later (closes #179) --- tests/tooEager.ur | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 tests/tooEager.ur (limited to 'tests') 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 + + + + -- cgit v1.2.3