diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-19 16:59:07 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-19 16:59:07 +0000 |
| commit | 1da04848e6612031bc25a3f238c37c47204c9e93 (patch) | |
| tree | 1df5cc1adbfdb13e4a2ee9e8e9a29ebfe85735a4 /src/syntax | |
| parent | a9f8febec0969527822d333548739eafd5fce99e (diff) | |
| download | open-axiom-1da04848e6612031bc25a3f238c37c47204c9e93.tar.gz | |
* interp/define.boot (compDefineFunctor1): Use the current
instantiation form when adding modemaps from category.
(partialSignature?): New.
(refineDefinitionSignature): Use full completion from getSignature.
* interp/compiler.boot (compIterator): Simplify.
Diffstat (limited to 'src/syntax')
0 files changed, 0 insertions, 0 deletions