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/sman | |
| 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/sman')
0 files changed, 0 insertions, 0 deletions