comparison src/settings.sml @ 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 07ef5771568d
children 66092ce45a76
comparison
equal deleted inserted replaced
1429:eecbffc2b907 1430:36c0a1be3f5a
236 ("checkUrl", "checkUrl"), 236 ("checkUrl", "checkUrl"),
237 ("bless", "bless"), 237 ("bless", "bless"),
238 238
239 ("eq_time", "eq"), 239 ("eq_time", "eq"),
240 ("lt_time", "lt"), 240 ("lt_time", "lt"),
241 ("le_time", "le")] 241 ("le_time", "le"),
242
243 ("debug", "alert"),
244 ("naughtyDebug", "alert")]
242 val jsFuncs = ref jsFuncsBase 245 val jsFuncs = ref jsFuncsBase
243 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls 246 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
244 fun jsFunc x = M.find (!jsFuncs, x) 247 fun jsFunc x = M.find (!jsFuncs, x)
245 248
246 datatype pattern_kind = Exact | Prefix 249 datatype pattern_kind = Exact | Prefix