Mercurial > urweb

comparison src/settings.sml @ 820:91f465ded07e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change monoization of monads to allow partial applications of operations
author Adam Chlipala <adamc@hcoop.net>
date Sat, 23 May 2009 10:14:51 -0400
parents 83875a9eb9b8
children 395a5d450cc0
comparison
equal deleted inserted replaced
819:cb30dd2ba353 820:91f465ded07e
146 ("onDisconnect", "onDisconnect"), 146 ("onDisconnect", "onDisconnect"),
147 ("onServerError", "onServerError"), 147 ("onServerError", "onServerError"),
148 ("attrifyString", "escape"), 148 ("attrifyString", "escape"),
149 ("attrifyInt", "ts"), 149 ("attrifyInt", "ts"),
150 ("attrifyFloat", "ts"), 150 ("attrifyFloat", "ts"),
151 ("attrifyBool", "bs")] 151 ("attrifyBool", "bs"),
152 ("boolToString", "ts")]
152 val jsFuncs = ref jsFuncsBase 153 val jsFuncs = ref jsFuncsBase
153 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls 154 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
154 fun jsFunc x = M.find (!jsFuncs, x) 155 fun jsFunc x = M.find (!jsFuncs, x)
155 156
156 datatype pattern_kind = Exact | Prefix 157 datatype pattern_kind = Exact | Prefix