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