# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1299108903 18000
# Node ID 36c0a1be3f5af922504ba1fe8ed07aa2a4563c45
# Parent  eecbffc2b9076ac51216f8f94cc8f68e06ce1fe4
Allow debug and naughtyDebug in client-side code, implemented with alert

diff -r eecbffc2b907 -r 36c0a1be3f5a src/settings.sml
--- 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)