Mercurial > urweb

comparison src/settings.sml @ 1366:1595a738e4e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
JavaScript compilation of time comparison; fix lexing of XML that includes open parens
author Adam Chlipala <adam@chlipala.net>
date Fri, 24 Dec 2010 18:55:13 -0500
parents 02fc16faecf3
children 44a12a321150
comparison
equal deleted inserted replaced
1365:b02cb9da5686 1366:1595a738e4e9
209 ("isxdigit", "isXdigit"), 209 ("isxdigit", "isXdigit"),
210 ("tolower", "toLower"), 210 ("tolower", "toLower"),
211 ("toupper", "toUpper"), 211 ("toupper", "toUpper"),
212 212
213 ("checkUrl", "checkUrl"), 213 ("checkUrl", "checkUrl"),
214 ("bless", "bless")] 214 ("bless", "bless"),
215
216 ("eq_time", "eq"),
217 ("lt_time", "lt"),
218 ("le_time", "le")]
215 val jsFuncs = ref jsFuncsBase 219 val jsFuncs = ref jsFuncsBase
216 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls 220 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
217 fun jsFunc x = M.find (!jsFuncs, x) 221 fun jsFunc x = M.find (!jsFuncs, x)
218 222
219 datatype pattern_kind = Exact | Prefix 223 datatype pattern_kind = Exact | Prefix