diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-10-27 00:04:28 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-10-27 00:04:28 +0000 |
| commit | 4d4f05f71ab532ac95570bef18da5098965db723 (patch) | |
| tree | b23ae44e7eb26bffb7070edf59e975de07d416b7 /src/algebra/tableau.spad.pamphlet | |
| parent | 903486e44d8cb2fd57e2df9515be4c3e0e4f5369 (diff) | |
| download | open-axiom-4d4f05f71ab532ac95570bef18da5098965db723.tar.gz | |
Support use of any natural number literal as constant name.
* interp/postpar.boot (postNormalizeName): Remove.
(postLhsOfDefinition): New.
(postDef): Use it.
(postMDef): Likewise.
(postForm): Remove dead code.
(postSignature): Internalize names of exported operators.
* interp/i-intern.boot (mkAtree2): For package call resolution,
use internal names.
* interp/compiler.boot (compAtomWithModemap): Use externalName for
name reported in diagnostic.
(compIntegerLiteral): New.
(compAtom): Use it.
(compElt): Look up modemaps for internal names.
(getModemapList): Likewise.
* interp/g-util.boot (normalizeName): New.
(internalName): Likewise.
(externalName): Likewise.
Diffstat (limited to 'src/algebra/tableau.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions