aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/syntax.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
-rw-r--r--src/algebra/syntax.spad.pamphlet5
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,