Mercurial > urweb
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 |