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/input | |
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/input')
-rw-r--r-- | src/input/sint.input.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/input/sint.input.pamphlet b/src/input/sint.input.pamphlet index d51fbb5d..927a4dca 100644 --- a/src/input/sint.input.pamphlet +++ b/src/input/sint.input.pamphlet @@ -17,7 +17,7 @@ min()$SingleInteger max()$SingleInteger a := 1234 :: SingleInteger -b := 124$SingleInteger +b := 124@SingleInteger gcd(a,b) lcm(a,b) mulmod(5,6,13)$SingleInteger |