aboutsummaryrefslogtreecommitdiff
path: root/src/boot/parser.boot
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-08-29 17:28:32 +0000
committerdos-reis <gdr@axiomatics.org>2009-08-29 17:28:32 +0000
commit5f24b5d3416d723eed6052b491311c7549a2526e (patch)
treec32e01fd8e514b898845770589c9fa0df12db512 /src/boot/parser.boot
parent5521671cdf9c64efe8f73f4026ab0c7bf4dbf018 (diff)
downloadopen-axiom-5f24b5d3416d723eed6052b491311c7549a2526e.tar.gz
* boot/ast.boot (%Definition): Lose one argument.
(bfDefinition): Remove. (bfSimpleDefinition): Likewise. (bfCompDef): Likewise. (bfDefSequence): Likewise. (defSheepAndGoats): Tidy. * boot/parser.boot (bpSimpleDefinitionTail): Likewise. (bpCompoundDefinitionTail): Likewise. (bpDefinitionPileItems): Likewise. (bpSemiColonDefinition): Likewise. * boot/translator.boot (translateToplevel): Likewise.
Diffstat (limited to 'src/boot/parser.boot')
-rw-r--r--src/boot/parser.boot8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/boot/parser.boot b/src/boot/parser.boot
index 8d906c00..52169219 100644
--- a/src/boot/parser.boot
+++ b/src/boot/parser.boot
@@ -889,13 +889,13 @@ bpDDef() == bpName() and bpDefTail()
bpSimpleDefinitionTail() ==
bpEqKey "DEF" and
(bpWhere() or bpTrap())
- and bpPush bfSimpleDefinition(bpPop2(), bpPop1())
+ and bpPush %ConstantDefinition(bpPop2(), bpPop1())
++ Parse the remaining of a compound definition.
bpCompoundDefinitionTail() ==
bpVariable() and bpReturnType() and
bpEqKey "DEF" and (bpWhere() or bpTrap())
- and bpPush bfDefinition(bpPop3(),bpPop2(),bpPop1())
+ and bpPush %Definition(bpPop3(),bpPop2(),bpPop1())
++ Parse the remainding of a definition. When we reach this point
@@ -940,12 +940,12 @@ bpDefinitionItem()==
bpDefinitionPileItems()==
bpListAndRecover function bpDefinitionItem
- and bpPush bfDefSequence bpPop1()
+ and bpPush %Pile bpPop1()
bpBDefinitionPileItems()== bpPileBracketed function bpDefinitionPileItems
bpSemiColonDefinition()==bpSemiListing
- (function bpDefinitionItem,function bfDefSequence)
+ (function bpDefinitionItem,function %Pile)
bpPDefinitionItems()==bpParenthesized function bpSemiColonDefinition