Mercurial > urweb

changeset 1633:deeeb036c8ed

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Treat [naughtyDebug] as pure for optimization purposes
author Adam Chlipala <adam@chlipala.net>
date Mon, 05 Dec 2011 10:43:06 -0500
parents 4682b312e9d5
children f4cb4eebf7ae
files src/settings.sml tests/naughty.ur
diffstat 2 files changed, 12 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/settings.sml	Sun Dec 04 16:32:06 2011 -0500
+++ b/src/settings.sml	Mon Dec 05 10:43:06 2011 -0500
@@ -143,7 +143,6 @@
                         "onServerError",
                         "kc",
                         "debug",
-                        "naughtyDebug",
                         "rand",
                         "now",
                         "getHeader",
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/naughty.ur	Mon Dec 05 10:43:06 2011 -0500
@@ -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*)