diff options
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 7 |
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. |