open-axiom/src/input/sint.input.pamphlet, branch master open scientific computation system https://git.pashev.ru/open-axiom/atom?h=master 2012-08-20T07:17:59Z * input/sint.input.pamphlet: Use /\$SingleInteger, not defunct 2012-08-20T07:17:59Z dos-reis gdr@axiomatics.org 2012-08-20T07:17:59Z urn:sha1:4fc6c2ba4569effe346fd6f498b6ab55afe446cf And$SingleInteger. Support use of any natural number literal as constant name. 2011-10-27T00:04:28Z dos-reis gdr@axiomatics.org 2011-10-27T00:04:28Z urn:sha1:4d4f05f71ab532ac95570bef18da5098965db723 * 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. Initial population. 2007-08-14T05:14:52Z dos-reis gdr@axiomatics.org 2007-08-14T05:14:52Z urn:sha1:ab8cc85adde879fb963c94d15675783f2cf4b183