Mercurial > urweb
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 |