comparison src/settings.sml @ 798:83875a9eb9b8

Improvements while working on Graftid
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 10:31:11 -0400
parents 7394368a5cad
children 91f465ded07e
comparison
equal deleted inserted replaced
797:2c463eee89fa 798:83875a9eb9b8
142 ("floatToString", "ts"), 142 ("floatToString", "ts"),
143 ("onError", "onError"), 143 ("onError", "onError"),
144 ("onFail", "onFail"), 144 ("onFail", "onFail"),
145 ("onConnectFail", "onConnectFail"), 145 ("onConnectFail", "onConnectFail"),
146 ("onDisconnect", "onDisconnect"), 146 ("onDisconnect", "onDisconnect"),
147 ("onServerError", "onServerError")] 147 ("onServerError", "onServerError"),
148 ("attrifyString", "escape"),
149 ("attrifyInt", "ts"),
150 ("attrifyFloat", "ts"),
151 ("attrifyBool", "bs")]
148 val jsFuncs = ref jsFuncsBase 152 val jsFuncs = ref jsFuncsBase
149 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls 153 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
150 fun jsFunc x = M.find (!jsFuncs, x) 154 fun jsFunc x = M.find (!jsFuncs, x)
151 155
152 datatype pattern_kind = Exact | Prefix 156 datatype pattern_kind = Exact | Prefix