From 8eb956703b1347fe2ced725dfba56d35c6aecd74 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 18 Oct 2011 23:10:24 +0000 Subject: * 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. --- src/algebra/syntax.spad.pamphlet | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/algebra') 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 -- cgit v1.2.3