comparison src/settings.sml @ 1250:e80582b927f2

Add rand to Basis and handle it in Iflow
author Adam Chlipala <adamc@hcoop.net>
date Thu, 29 Apr 2010 17:24:42 -0400
parents 5eac14322548
children fc7ecf8883b1
comparison
equal deleted inserted replaced
1249:7c6fc92f6c31 1250:e80582b927f2
113 "onFail", 113 "onFail",
114 "onConnectFail", 114 "onConnectFail",
115 "onDisconnect", 115 "onDisconnect",
116 "onServerError", 116 "onServerError",
117 "kc", 117 "kc",
118 "debug"] 118 "debug",
119 "rand"]
119 120
120 val benign = ref benignBase 121 val benign = ref benignBase
121 fun setBenignEffectful ls = benign := S.addList (benignBase, ls) 122 fun setBenignEffectful ls = benign := S.addList (benignBase, ls)
122 fun isBenignEffectful x = S.member (!benign, x) 123 fun isBenignEffectful x = S.member (!benign, x)
123 124