# HG changeset patch # User Adam Chlipala # Date 1323099786 18000 # Node ID deeeb036c8ed7191735e2e469e2072dcbedfaa21 # Parent 4682b312e9d5cb238a6e0d61bbec4e497ead7631 Treat [naughtyDebug] as pure for optimization purposes diff -r 4682b312e9d5 -r deeeb036c8ed src/settings.sml --- 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", diff -r 4682b312e9d5 -r deeeb036c8ed tests/naughty.ur --- /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 + else + error Uhoh! + +(*fun main () : transaction page = + let + val a = naughtyDebug "" + in + return + end*)