Mercurial > urweb

comparison src/settings.sml @ 1171:7a2a7a8f9cab

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
benignEffectful
author Adam Chlipala <adamc@hcoop.net>
date Sat, 27 Feb 2010 16:49:11 -0500
parents 8679ba87cf3c
children 9d3ccb8b39ac
comparison
equal deleted inserted replaced
1170:52c6ac6a59f1 1171:7a2a7a8f9cab
78 fun mayClientToServer x = S.member (!clientToServer, x) 78 fun mayClientToServer x = S.member (!clientToServer, x)
79 79
80 val effectfulBase = basis ["dml", 80 val effectfulBase = basis ["dml",
81 "nextval", 81 "nextval",
82 "setval", 82 "setval",
83 "get_cookie",
84 "set_cookie", 83 "set_cookie",
85 "clear_cookie", 84 "clear_cookie",
86 "new_client_source",
87 "get_client_source",
88 "set_client_source",
89 "current",
90 "alert",
91 "new_channel", 85 "new_channel",
92 "send", 86 "send"]
93 "onError",
94 "onFail",
95 "onConnectFail",
96 "onDisconnect",
97 "onServerError",
98 "kc",
99 "debug"]
100 87
101 val effectful = ref effectfulBase 88 val effectful = ref effectfulBase
102 fun setEffectful ls = effectful := S.addList (effectfulBase, ls) 89 fun setEffectful ls = effectful := S.addList (effectfulBase, ls)
103 fun isEffectful x = S.member (!effectful, x) 90 fun isEffectful x = S.member (!effectful, x)
91
92 val benignBase = basis ["get_cookie",
93 "new_client_source",
94 "get_client_source",
95 "set_client_source",
96 "current",
97 "alert",
98 "onError",
99 "onFail",
100 "onConnectFail",
101 "onDisconnect",
102 "onServerError",
103 "kc",
104 "debug"]
105
106 val benign = ref benignBase
107 fun setBenignEffectful ls = benign := S.addList (benignBase, ls)
108 fun isBenignEffectful x = S.member (!benign, x)
104 109
105 val clientBase = basis ["get", 110 val clientBase = basis ["get",
106 "set", 111 "set",
107 "current", 112 "current",
108 "alert", 113 "alert",