Mercurial > urweb
diff src/settings.sml @ 1171:7a2a7a8f9cab
benignEffectful
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 27 Feb 2010 16:49:11 -0500 |
| parents | 8679ba87cf3c |
| children | 9d3ccb8b39ac |
line wrap: on
line diff
--- a/src/settings.sml Sat Feb 27 14:57:57 2010 -0500 +++ b/src/settings.sml Sat Feb 27 16:49:11 2010 -0500 @@ -80,28 +80,33 @@ val effectfulBase = basis ["dml", "nextval", "setval", - "get_cookie", "set_cookie", "clear_cookie", - "new_client_source", - "get_client_source", - "set_client_source", - "current", - "alert", "new_channel", - "send", - "onError", - "onFail", - "onConnectFail", - "onDisconnect", - "onServerError", - "kc", - "debug"] + "send"] val effectful = ref effectfulBase fun setEffectful ls = effectful := S.addList (effectfulBase, ls) fun isEffectful x = S.member (!effectful, x) +val benignBase = basis ["get_cookie", + "new_client_source", + "get_client_source", + "set_client_source", + "current", + "alert", + "onError", + "onFail", + "onConnectFail", + "onDisconnect", + "onServerError", + "kc", + "debug"] + +val benign = ref benignBase +fun setBenignEffectful ls = benign := S.addList (benignBase, ls) +fun isBenignEffectful x = S.member (!benign, x) + val clientBase = basis ["get", "set", "current",