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 --- src/settings.sml | 1 - tests/naughty.ur | 12 ++++++++++++ 2 files changed, 12 insertions(+), 1 deletion(-) create mode 100644 tests/naughty.ur diff --git a/src/settings.sml b/src/settings.sml index 922638f5..02fd3c10 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -143,7 +143,6 @@ val benignBase = basis ["get_cookie", "onServerError", "kc", "debug", - "naughtyDebug", "rand", "now", "getHeader", 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