diff options
author | dos-reis <gdr@axiomatics.org> | 2011-10-31 03:08:11 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-10-31 03:08:11 +0000 |
commit | 2eaece841c92e8a59aa4346ca85739babfd67fe9 (patch) | |
tree | 02126a77562d2d2079e5700e1428914d976f742a /src/ChangeLog | |
parent | 8bb918e72e98092b6e927828d2ca66198608de4f (diff) | |
download | open-axiom-2eaece841c92e8a59aa4346ca85739babfd67fe9.tar.gz |
* 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.
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. |