Mercurial > urweb
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 |