Mercurial > urweb
comparison src/settings.sml @ 828:14a6c0971d89
String.length
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 30 May 2009 09:59:10 -0400 |
parents | 395a5d450cc0 |
children | 20fe00fd81da |
comparison
equal
deleted
inserted
replaced
827:497c7dbcc695 | 828:14a6c0971d89 |
---|---|
150 ("attrifyInt", "ts"), | 150 ("attrifyInt", "ts"), |
151 ("attrifyFloat", "ts"), | 151 ("attrifyFloat", "ts"), |
152 ("attrifyBool", "bs"), | 152 ("attrifyBool", "bs"), |
153 ("boolToString", "ts"), | 153 ("boolToString", "ts"), |
154 ("strsub", "sub"), | 154 ("strsub", "sub"), |
155 ("strsuffix", "suf")] | 155 ("strsuffix", "suf"), |
156 ("strlen", "slen")] | |
156 val jsFuncs = ref jsFuncsBase | 157 val jsFuncs = ref jsFuncsBase |
157 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls | 158 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls |
158 fun jsFunc x = M.find (!jsFuncs, x) | 159 fun jsFunc x = M.find (!jsFuncs, x) |
159 | 160 |
160 datatype pattern_kind = Exact | Prefix | 161 datatype pattern_kind = Exact | Prefix |