Mercurial > urweb

comparison src/settings.sml @ 1323:0d8bd8ae8417

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix JavaScript unit unurlification; URL blessing client-side
author Adam Chlipala <adamc@hcoop.net>
date Fri, 26 Nov 2010 11:57:04 -0500
parents 714e8b84221b
children 4dd5d23bace2
comparison
equal deleted inserted replaced
1322:80bff6449f41 1323:0d8bd8ae8417
205 ("isalnum", "isAlnum"), 205 ("isalnum", "isAlnum"),
206 ("isblank", "isBlank"), 206 ("isblank", "isBlank"),
207 ("isspace", "isSpace"), 207 ("isspace", "isSpace"),
208 ("isxdigit", "isXdigit"), 208 ("isxdigit", "isXdigit"),
209 ("tolower", "toLower"), 209 ("tolower", "toLower"),
210 ("toupper", "toUpper")] 210 ("toupper", "toUpper"),
211
212 ("checkUrl", "checkUrl"),
213 ("bless", "bless")]
211 val jsFuncs = ref jsFuncsBase 214 val jsFuncs = ref jsFuncsBase
212 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls 215 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
213 fun jsFunc x = M.find (!jsFuncs, x) 216 fun jsFunc x = M.find (!jsFuncs, x)
214 217
215 datatype pattern_kind = Exact | Prefix 218 datatype pattern_kind = Exact | Prefix