aboutsummaryrefslogtreecommitdiff
path: root/src/input/sint.input.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-10-27 00:04:28 +0000
committerdos-reis <gdr@axiomatics.org>2011-10-27 00:04:28 +0000
commit4d4f05f71ab532ac95570bef18da5098965db723 (patch)
treeb23ae44e7eb26bffb7070edf59e975de07d416b7 /src/input/sint.input.pamphlet
parent903486e44d8cb2fd57e2df9515be4c3e0e4f5369 (diff)
downloadopen-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/sint.input.pamphlet')
-rw-r--r--src/input/sint.input.pamphlet2
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