diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-02-27 16:49:11 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-02-27 16:49:11 -0500 |
commit | f59bbf0b942cd888c798c06ba6841bf94562a438 (patch) | |
tree | 64c89f63745865e9d0e443dc8cc8ecc2cac7900b /src/settings.sml | |
parent | 1607362ff628b9a1476679fbf9146b66ce92a3ee (diff) |
benignEffectful
Diffstat (limited to 'src/settings.sml')
-rw-r--r-- | src/settings.sml | 33 |
1 files changed, 19 insertions, 14 deletions
diff --git a/src/settings.sml b/src/settings.sml index f600d2ac..cd081725 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -80,28 +80,33 @@ fun mayClientToServer x = S.member (!clientToServer, x) 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", |