From 2eaece841c92e8a59aa4346ca85739babfd67fe9 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 31 Oct 2011 03:08:11 +0000 Subject: * 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. Add constructor condition. (modemapsFromFunctor): Likewise. Lose last argument. (mkDatabasePred): Remove. (formal2Pattern): Likewise. --- src/ChangeLog | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'src/ChangeLog') 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 + * 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. -- cgit v1.2.3