diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-01-07 14:02:58 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-01-07 14:02:58 -0500 |
commit | a9f87e669faf36223c24f98f945616ab05aab8d5 (patch) | |
tree | 1779915b8b421011dba936447d059ac932cb30b7 /src/settings.sml | |
parent | 5b7e350bbb440255b866a14d59b69f9d8e411f36 (diff) |
Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
Diffstat (limited to 'src/settings.sml')
-rw-r--r-- | src/settings.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/settings.sml b/src/settings.sml index 5edfb3ff..0bbe3961 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -95,7 +95,8 @@ val effectfulBase = basis ["dml", "onConnectFail", "onDisconnect", "onServerError", - "kc"] + "kc", + "debug"] val effectful = ref effectfulBase fun setEffectful ls = effectful := S.addList (effectfulBase, ls) |