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",