diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-12-05 10:43:06 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-12-05 10:43:06 -0500 |
| commit | 729787b44122bfa54c580c246e68626142e7b92a (patch) | |
| tree | 1ef7b83959a5e93a0265a1daf20c7848984a0b45 /tests | |
| parent | b2d1c581afdb7ad9ede5d43158306c45177ef560 (diff) | |
Treat [naughtyDebug] as pure for optimization purposes
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/naughty.ur | 12 |
1 files changed, 12 insertions, 0 deletions
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 <xml><body></body></xml> + else + error <xml>Uhoh!</xml> + +(*fun main () : transaction page = + let + val a = naughtyDebug "" + in + return <xml><body></body></xml> + end*) |