comparison src/settings.sml @ 1120:74f2eb3b0606

Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
author Adam Chlipala <adamc@hcoop.net>
date Thu, 07 Jan 2010 14:02:58 -0500
parents 01b6c7144a44
children 8679ba87cf3c
comparison
equal deleted inserted replaced
1119:951fced704d6 1120:74f2eb3b0606
93 "onError", 93 "onError",
94 "onFail", 94 "onFail",
95 "onConnectFail", 95 "onConnectFail",
96 "onDisconnect", 96 "onDisconnect",
97 "onServerError", 97 "onServerError",
98 "kc"] 98 "kc",
99 "debug"]
99 100
100 val effectful = ref effectfulBase 101 val effectful = ref effectfulBase
101 fun setEffectful ls = effectful := S.addList (effectfulBase, ls) 102 fun setEffectful ls = effectful := S.addList (effectfulBase, ls)
102 fun isEffectful x = S.member (!effectful, x) 103 fun isEffectful x = S.member (!effectful, x)
103 104