diff options
author | dos-reis <gdr@axiomatics.org> | 2011-10-19 20:57:45 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-10-19 20:57:45 +0000 |
commit | 2227d0b0e896b63b8f27ff3ba8b9fc74495a8acb (patch) | |
tree | af68a239565e80812c1e32c6999c4d657b6b46e4 /src/algebra | |
parent | 7b303a090ac77ca67771feb829a15ab3bab06122 (diff) | |
download | open-axiom-2227d0b0e896b63b8f27ff3ba8b9fc74495a8acb.tar.gz |
* interp/postpar.boot (postNormalizeName): New.
(postAtom): Use it.
(postMDef): Do not generate artificial list of nils.
Leave left-hand-side as written in source code.
* interp/compiler.boot (compMacro): Tidy.
* interp/define.boot (checkRepresentation): Likewise.
* interp/parse.boot (parseMDEF): Likewise.
* algebra/syntax.spad.pamphlet (MacroAst): Adjust.
Diffstat (limited to 'src/algebra')
-rw-r--r-- | src/algebra/syntax.spad.pamphlet | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index a74815e1..3bbb7145 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -1671,7 +1671,10 @@ MacroAst(): Public == Private where ++ body(m) returns the right hand side of the definition `m'. Private == add Rep == List SpadAst - head x == (second rep x) : HeadAst + head x == + z := second rep x + z case Identifier => [z] : HeadAst + z : HeadAst body x == last rep x coerce(x: %): OutputForm == elt('MacroAst::OutputForm, |