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/ChangeLog | |
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/ChangeLog')
-rw-r--r-- | src/ChangeLog | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 7d41139d..ae7612c9 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,24 @@ +2011-10-26 Gabriel Dos Reis <gdr@cs.tamu.edu> + + 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. + 2011-10-25 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/postpar.boot (postSignature): Tidy. |