changeset 1430:36c0a1be3f5a

Allow debug and naughtyDebug in client-side code, implemented with alert
author Adam Chlipala <adam@chlipala.net>
date Wed, 02 Mar 2011 18:35:03 -0500
parents eecbffc2b907
children 4a6f84092399
files src/settings.sml
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/settings.sml	Fri Feb 25 15:58:08 2011 -0500
+++ b/src/settings.sml	Wed Mar 02 18:35:03 2011 -0500
@@ -238,7 +238,10 @@
 
                           ("eq_time", "eq"),
                           ("lt_time", "lt"),
-                          ("le_time", "le")]
+                          ("le_time", "le"),
+
+                          ("debug", "alert"),
+                          ("naughtyDebug", "alert")]
 val jsFuncs = ref jsFuncsBase
 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
 fun jsFunc x = M.find (!jsFuncs, x)