Mercurial > urweb
diff src/settings.sml @ 1595:154cfe2eb366
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 |
line wrap: on
line diff
--- a/src/settings.sml Mon Nov 14 09:02:00 2011 -0500 +++ b/src/settings.sml Mon Nov 14 09:15:10 2011 -0500 @@ -164,8 +164,7 @@ fun setBenignEffectful ls = benign := S.addList (benignBase, ls) fun isBenignEffectful x = S.member (!benign, x) -val clientBase = basis ["get", - "set", +val clientBase = basis ["get_client_source", "current", "alert", "confirm",