diff options
author | dos-reis <gdr@axiomatics.org> | 2009-08-29 17:28:32 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-08-29 17:28:32 +0000 |
commit | 5f24b5d3416d723eed6052b491311c7549a2526e (patch) | |
tree | c32e01fd8e514b898845770589c9fa0df12db512 /src/boot/parser.boot | |
parent | 5521671cdf9c64efe8f73f4026ab0c7bf4dbf018 (diff) | |
download | open-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.boot | 8 |
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 |