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