comparison src/settings.sml @ 1389:9a721f0722d3

Some more string parsing functions; naughtyDebug
author Adam Chlipala <adam@chlipala.net>
date Tue, 11 Jan 2011 18:04:52 -0500
parents 44a12a321150
children 802c179dac1f
comparison
equal deleted inserted replaced
1388:3913cbfd72e9 1389:9a721f0722d3
136 "onConnectFail", 136 "onConnectFail",
137 "onDisconnect", 137 "onDisconnect",
138 "onServerError", 138 "onServerError",
139 "kc", 139 "kc",
140 "debug", 140 "debug",
141 "naughtyDebug",
141 "rand"] 142 "rand"]
142 143
143 val benign = ref benignBase 144 val benign = ref benignBase
144 fun setBenignEffectful ls = benign := S.addList (benignBase, ls) 145 fun setBenignEffectful ls = benign := S.addList (benignBase, ls)
145 fun isBenignEffectful x = S.member (!benign, x) 146 fun isBenignEffectful x = S.member (!benign, x)