diff 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
line wrap: on
line diff
--- a/src/settings.sml	Tue Jan 05 15:53:35 2010 -0500
+++ b/src/settings.sml	Thu Jan 07 14:02:58 2010 -0500
@@ -95,7 +95,8 @@
                            "onConnectFail",
                            "onDisconnect",
                            "onServerError",
-                           "kc"]
+                           "kc",
+                           "debug"]
 
 val effectful = ref effectfulBase
 fun setEffectful ls = effectful := S.addList (effectfulBase, ls)