comparison src/settings.sml @ 1254:935a981f4380

Merge
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 May 2010 13:57:01 -0400
parents e80582b927f2
children fc7ecf8883b1
comparison
equal deleted inserted replaced
1198:b52929351402 1254:935a981f4380
81 "nextval", 81 "nextval",
82 "setval", 82 "setval",
83 "set_cookie", 83 "set_cookie",
84 "clear_cookie", 84 "clear_cookie",
85 "new_channel", 85 "new_channel",
86 "send"] 86 "send",
87 "htmlifyInt_w",
88 "htmlifyFloat_w",
89 "htmlifyString_w",
90 "htmlifyBool_w",
91 "htmlifyTime_w",
92 "attrifyInt_w",
93 "attrifyFloat_w",
94 "attrifyString_w",
95 "attrifyChar_w",
96 "urlifyInt_w",
97 "urlifyFloat_w",
98 "urlifyString_w",
99 "urlifyBool_w",
100 "urlifyChannel_w"]
87 101
88 val effectful = ref effectfulBase 102 val effectful = ref effectfulBase
89 fun setEffectful ls = effectful := S.addList (effectfulBase, ls) 103 fun setEffectful ls = effectful := S.addList (effectfulBase, ls)
90 fun isEffectful x = S.member (!effectful, x) 104 fun isEffectful x = S.member (!effectful, x)
91 105
99 "onFail", 113 "onFail",
100 "onConnectFail", 114 "onConnectFail",
101 "onDisconnect", 115 "onDisconnect",
102 "onServerError", 116 "onServerError",
103 "kc", 117 "kc",
104 "debug"] 118 "debug",
119 "rand"]
105 120
106 val benign = ref benignBase 121 val benign = ref benignBase
107 fun setBenignEffectful ls = benign := S.addList (benignBase, ls) 122 fun setBenignEffectful ls = benign := S.addList (benignBase, ls)
108 fun isBenignEffectful x = S.member (!benign, x) 123 fun isBenignEffectful x = S.member (!benign, x)
109 124