Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
1060:6f4f8b9c5023 | 1061:e8a35d710ab9 |
---|---|
166 ("strlen", "slen"), | 166 ("strlen", "slen"), |
167 ("strindex", "sidx"), | 167 ("strindex", "sidx"), |
168 ("strchr", "schr"), | 168 ("strchr", "schr"), |
169 ("substring", "ssub"), | 169 ("substring", "ssub"), |
170 ("strcspn", "sspn"), | 170 ("strcspn", "sspn"), |
171 ("kc", "kc")] | 171 ("kc", "kc"), |
172 | |
173 ("islower", "isLower"), | |
174 ("isupper", "isUpper"), | |
175 ("isalpha", "isAlpha"), | |
176 ("isdigit", "isDigit"), | |
177 ("isalnum", "isAlnum"), | |
178 ("isblank", "isBlank"), | |
179 ("isspace", "isSpace"), | |
180 ("isxdigit", "isXdigit"), | |
181 ("tolower", "toLower"), | |
182 ("toupper", "toUpper")] | |
172 val jsFuncs = ref jsFuncsBase | 183 val jsFuncs = ref jsFuncsBase |
173 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls | 184 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls |
174 fun jsFunc x = M.find (!jsFuncs, x) | 185 fun jsFunc x = M.find (!jsFuncs, x) |
175 | 186 |
176 datatype pattern_kind = Exact | Prefix | 187 datatype pattern_kind = Exact | Prefix |