aboutsummaryrefslogtreecommitdiff
path: root/ChangeLog
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-10-31 03:08:11 +0000
committerdos-reis <gdr@axiomatics.org>2011-10-31 03:08:11 +0000
commit2eaece841c92e8a59aa4346ca85739babfd67fe9 (patch)
tree02126a77562d2d2079e5700e1428914d976f742a /ChangeLog
parent8bb918e72e98092b6e927828d2ca66198608de4f (diff)
downloadopen-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 'ChangeLog')
0 files changed, 0 insertions, 0 deletions