From 729787b44122bfa54c580c246e68626142e7b92a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 5 Dec 2011 10:43:06 -0500 Subject: Treat [naughtyDebug] as pure for optimization purposes --- tests/naughty.ur | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 tests/naughty.ur (limited to 'tests/naughty.ur') diff --git a/tests/naughty.ur b/tests/naughty.ur new file mode 100644 index 00000000..14919f84 --- /dev/null +++ b/tests/naughty.ur @@ -0,0 +1,12 @@ +fun main () : transaction page = + if naughtyDebug "hello" = 0 then + return + else + error Uhoh! + +(*fun main () : transaction page = + let + val a = naughtyDebug "" + in + return + end*) -- cgit v1.2.3