diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-10-18 23:10:24 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-10-18 23:10:24 +0000 |
| commit | 8eb956703b1347fe2ced725dfba56d35c6aecd74 (patch) | |
| tree | b47fb6b57b4350a6d5bb7a77ca1fd69f4ce78677 /src/algebra | |
| parent | 630b6f25ff2900a31326141b67a187a685e7e9b8 (diff) | |
| download | open-axiom-8eb956703b1347fe2ced725dfba56d35c6aecd74.tar.gz | |
* interp/postpar.boot (displayPreCompilationErrors): Dot not check
for interactive mode.
(postBigFloat): Likewise.
(postDef): Likewise.
(postMDef): Likewise.
(tuple2List): Likewise.
(postReduce): Likewise.
(postQUOTE): Remove.
(postQuot): Likewise.
(postOp): Likewise.
(postTran): Adjust.
* interp/newaux.lisp: Replace %LET with ':='.
* interp/property.lisp: Likewise.
* interp/g-util.boot (getTypeOfSyntax): Likewise.
* interp/define.boot (checkRepresentation): Likewise.
(doIt): Likewise.
* interp/compiler.boot (compSetq): Likewise.
(compRecoverGuard): Likewise.
(compReduce1): Likewise.
* interp/c-util.boot (lhsOfAssignment): Likewise.
(isAlmostSimple): Likewise.
* interp/c-doc.boot (recordAttributeDocumentation): Likewise.
* interp/parse.boot (parseLeftArrow): Remove.
(parseLETD): Likewise.
(parseAssign): Rename from parseLET.
* algebra/syntax.spad.pamphlet (SpadAst): Handle both cases.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/syntax.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index bd908bf0..a74815e1 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -1766,7 +1766,7 @@ SpadAst(): SpadAstExports() == add x case SequenceAst == isAst(x,'SEQ) autoCoerce(x: %): SequenceAst == x : SequenceAst - x case LetAst == isAst(x,'_%LET) + x case LetAst == isAst(x,'_%LET) or isAst(x,'_:_=) autoCoerce(x: %): LetAst == x : LetAst x case SuchThatAst == isAst(x,'_|) @@ -1806,7 +1806,7 @@ SpadAst(): SpadAstExports() == add op = '_exit => x:ExitAst::OutputForm op = '_return => x:ReturnAst::OutputForm op = 'SEQ => x:SequenceAst::OutputForm - op = '%LET => x:LetAst::OutputForm + op = '%LET or op = '_:_= => x:LetAst::OutputForm op = '_pretend => x:PretendAst::OutputForm op = '_:_: => x:CoerceAst::OutputForm op = '_@ => x:RestrictAst::OutputForm |