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/interp/i-intern.boot | |
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/interp/i-intern.boot')
-rw-r--r-- | src/interp/i-intern.boot | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/interp/i-intern.boot b/src/interp/i-intern.boot index 61533d39..eefc2a55 100644 --- a/src/interp/i-intern.boot +++ b/src/interp/i-intern.boot @@ -174,8 +174,7 @@ mkAtree2(x,op,argl) == op='_$elt => argl is [D,a] => integer? a => - a = 0 => mkAtree1 [['_$elt,D,'Zero]] - a = 1 => mkAtree1 [['_$elt,D,'One]] + a >= 0 => mkAtree1 [['_$elt,D,internalName a]] t := evaluateType unabbrev [D] typeIsASmallInteger(t) and SINTP a => v := mkAtreeNode $immediateDataSymbol |