diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-08-19 08:47:00 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-08-19 08:47:00 +0000 |
| commit | 71cb17550511a6abb225030cb25c16bef8f31ef5 (patch) | |
| tree | 41e1dc042870c6df23fd1e20cb92fac152a416e6 /src/boot/parser.boot | |
| parent | cd78da3860f838c41aedc3a0c475cfc8c23eaad3 (diff) | |
| download | open-axiom-71cb17550511a6abb225030cb25c16bef8f31ef5.tar.gz | |
* boot/ast.boot: Consistently prefix AST names by "%".
* boot/translator.boot: Adjust.
* boot/parser.boot: Likewise.
Diffstat (limited to 'src/boot/parser.boot')
| -rw-r--r-- | src/boot/parser.boot | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/boot/parser.boot b/src/boot/parser.boot index 68300d52..9d6b1a55 100644 --- a/src/boot/parser.boot +++ b/src/boot/parser.boot @@ -469,8 +469,8 @@ bpImport() == (bpSignature() or bpTrap()) and (bpEqKey "FOR" or bpTrap()) and (bpName() or bpTrap()) and - bpPush ImportSignature(bpPop1(), bpPop1()) - bpPush Import bpPop1() + bpPush %ImportSignature(bpPop1(), bpPop1()) + bpPush %Import bpPop1() false -- Parse a type alias defnition: @@ -486,7 +486,7 @@ bpTypeAliasDefition() == ++ Name COLON Mapping bpSignature() == bpName() and bpEqKey "COLON" and bpMapping() - and bpPush Signature(bpPop2(), bpPop1()) + and bpPush %Signature(bpPop2(), bpPop1()) ++ SimpleMapping: ++ Application @@ -494,7 +494,7 @@ bpSignature() == bpSimpleMapping() == bpApplication() => bpEqKey "ARROW" and (bpApplication() or bpTrap()) and - bpPush Mapping(bpPop1(), bfUntuple bpPop1()) + bpPush %Mapping(bpPop1(), bfUntuple bpPop1()) true false @@ -513,7 +513,7 @@ bpArgtypeList() == bpMapping() == bpParenthesized function bpArgtypeList and bpEqKey "ARROW" and bpApplication() and - bpPush Mapping(bpPop1(), bfUntuple bpPop1()) + bpPush %Mapping(bpPop1(), bfUntuple bpPop1()) or bpSimpleMapping() bpCancel()== @@ -610,7 +610,7 @@ bpApplication()== bpTyping() == bpApplication() and (bpEqKey "ARROW" and (bpApplication() or bpTrap()) and - bpPush Mapping(bpPop1(), bfUntuple bpPop1()) or true) or bpMapping() + bpPush %Mapping(bpPop1(), bfUntuple bpPop1()) or true) or bpMapping() ++ Tagged: ++ Name : Typing |