aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
diff options
context:
space:
mode:
Diffstat (limited to 'src/ChangeLog')
-rw-r--r--src/ChangeLog7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index fcc6e8b7..ea83924e 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,10 +1,15 @@
2011-10-30 Gabriel Dos Reis <gdr@cs.tamu.edu>
+ * interp/compiler.boot (evaluateConstructorModemap): Rename from
+ substituteInfoFunctorModemap.
+ (constructorCondition): New.
* interp/define.boot (compDefineCategory2): Compute dual signature
early on.
(compDefineFunctor1): Likewise.
+ (typingKind): New.
+ (deduceImplicitParameters): Use it.
* interp/database.boot (modemapsFromCategory): Take a first
- argument as a DB. Tidy. Adjust caller.
+ argument as a DB. Tidy. Adjust caller. Add constructor condition.
(modemapsFromFunctor): Likewise. Lose last argument.
(mkDatabasePred): Remove.
(formal2Pattern): Likewise.