diff src/settings.sml @ 1061:e8a35d710ab9

Context globals; ctype functions
author Adam Chlipala <adamc@hcoop.net>
date Tue, 08 Dec 2009 10:46:50 -0500
parents eaba663fd6aa
children b2311dfb3158
line wrap: on
line diff
--- a/src/settings.sml	Tue Dec 08 09:33:08 2009 -0500
+++ b/src/settings.sml	Tue Dec 08 10:46:50 2009 -0500
@@ -168,7 +168,18 @@
                           ("strchr", "schr"),
                           ("substring", "ssub"),
                           ("strcspn", "sspn"),
-                          ("kc", "kc")]
+                          ("kc", "kc"),
+
+                          ("islower", "isLower"),
+                          ("isupper", "isUpper"),
+                          ("isalpha", "isAlpha"),
+                          ("isdigit", "isDigit"),
+                          ("isalnum", "isAlnum"),
+                          ("isblank", "isBlank"),
+                          ("isspace", "isSpace"),
+                          ("isxdigit", "isXdigit"),
+                          ("tolower", "toLower"),
+                          ("toupper", "toUpper")]
 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)