From 56cb0ee3ad6609b7f37140a700eb6c6d95930d71 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Wed, 2 Mar 2011 18:35:03 -0500
Subject: Allow debug and naughtyDebug in client-side code, implemented with
 alert

---
 src/settings.sml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/settings.sml b/src/settings.sml
index 30e925c9..f9af8879 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -238,7 +238,10 @@ val jsFuncsBase = basisM [("alert", "alert"),
 
                           ("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)
-- 
cgit v1.2.3