Mercurial > urweb

comparison src/settings.sml @ 1433:66092ce45a76

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat carriage returns at line ends in .urp files
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Mar 2011 20:22:03 -0500
parents 36c0a1be3f5a
children 2f5fd248588d
comparison
equal deleted inserted replaced
1432:7d024767b024 1433:66092ce45a76
243 ("debug", "alert"), 243 ("debug", "alert"),
244 ("naughtyDebug", "alert")] 244 ("naughtyDebug", "alert")]
245 val jsFuncs = ref jsFuncsBase 245 val jsFuncs = ref jsFuncsBase
246 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
247 fun jsFunc x = M.find (!jsFuncs, x) 247 fun jsFunc x = M.find (!jsFuncs, x)
248 fun allJsFuncs () = M.listItemsi (!jsFuncs)
248 249
249 datatype pattern_kind = Exact | Prefix 250 datatype pattern_kind = Exact | Prefix
250 datatype action = Allow | Deny 251 datatype action = Allow | Deny
251 type rule = { action : action, kind : pattern_kind, pattern : string } 252 type rule = { action : action, kind : pattern_kind, pattern : string }
252 253