Mercurial > urweb

comparison src/settings.sml @ 1595:154cfe2eb366

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Better error messages about server-side use of client-side functions
author Adam Chlipala <adam@chlipala.net>
date Mon, 14 Nov 2011 09:15:10 -0500
parents f403e129c276
children e283ca05c829
comparison
equal deleted inserted replaced
1594:d9de8b3f8167 1595:154cfe2eb366
162 162
163 val benign = ref benignBase 163 val benign = ref benignBase
164 fun setBenignEffectful ls = benign := S.addList (benignBase, ls) 164 fun setBenignEffectful ls = benign := S.addList (benignBase, ls)
165 fun isBenignEffectful x = S.member (!benign, x) 165 fun isBenignEffectful x = S.member (!benign, x)
166 166
167 val clientBase = basis ["get", 167 val clientBase = basis ["get_client_source",
168 "set",
169 "current", 168 "current",
170 "alert", 169 "alert",
171 "confirm", 170 "confirm",
172 "recv", 171 "recv",
173 "sleep", 172 "sleep",