diff options
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
| -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, |