comparison src/settings.sml @ 821:395a5d450cc0

Chars and more string operations
author Adam Chlipala <adamc@hcoop.net>
date Tue, 26 May 2009 12:25:06 -0400
parents 91f465ded07e
children 14a6c0971d89
comparison
equal deleted inserted replaced
820:91f465ded07e 821:395a5d450cc0
138 ("urlifyString", "uf"), 138 ("urlifyString", "uf"),
139 ("recv", "rv"), 139 ("recv", "rv"),
140 ("strcat", "cat"), 140 ("strcat", "cat"),
141 ("intToString", "ts"), 141 ("intToString", "ts"),
142 ("floatToString", "ts"), 142 ("floatToString", "ts"),
143 ("charToString", "ts"),
143 ("onError", "onError"), 144 ("onError", "onError"),
144 ("onFail", "onFail"), 145 ("onFail", "onFail"),
145 ("onConnectFail", "onConnectFail"), 146 ("onConnectFail", "onConnectFail"),
146 ("onDisconnect", "onDisconnect"), 147 ("onDisconnect", "onDisconnect"),
147 ("onServerError", "onServerError"), 148 ("onServerError", "onServerError"),
148 ("attrifyString", "escape"), 149 ("attrifyString", "escape"),
149 ("attrifyInt", "ts"), 150 ("attrifyInt", "ts"),
150 ("attrifyFloat", "ts"), 151 ("attrifyFloat", "ts"),
151 ("attrifyBool", "bs"), 152 ("attrifyBool", "bs"),
152 ("boolToString", "ts")] 153 ("boolToString", "ts"),
154 ("strsub", "sub"),
155 ("strsuffix", "suf")]
153 val jsFuncs = ref jsFuncsBase 156 val jsFuncs = ref jsFuncsBase
154 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls 157 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
155 fun jsFunc x = M.find (!jsFuncs, x) 158 fun jsFunc x = M.find (!jsFuncs, x)
156 159
157 datatype pattern_kind = Exact | Prefix 160 datatype pattern_kind = Exact | Prefix