summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-11-26 11:57:04 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-11-26 11:57:04 -0500
commit0de429f2205e351ac4ca182aca072e25e09ed33a (patch)
tree797cfeacd60b528213c49c09abf7da63ba136ad8 /src/settings.sml
parent884fd425458185205bc2b6109a58028d0d881b53 (diff)
Fix JavaScript unit unurlification; URL blessing client-side
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/settings.sml b/src/settings.sml
index b5ba4f9b..7a943217 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -207,7 +207,10 @@ val jsFuncsBase = basisM [("alert", "alert"),
("isspace", "isSpace"),
("isxdigit", "isXdigit"),
("tolower", "toLower"),
- ("toupper", "toUpper")]
+ ("toupper", "toUpper"),
+
+ ("checkUrl", "checkUrl"),
+ ("bless", "bless")]
val jsFuncs = ref jsFuncsBase
fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
fun jsFunc x = M.find (!jsFuncs, x)