diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-02 23:14:08 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-02 23:14:08 +0000 |
commit | 04b834e92508a407e8f51c730ddc9bdca862d4b6 (patch) | |
tree | 7e0765dd690b31aa6aaf91989517470d3abc1428 /src/boot/parser.boot | |
parent | 6c36217f8a6721a3695e6c8d0b5f86401b5ed18b (diff) | |
download | open-axiom-04b834e92508a407e8f51c730ddc9bdca862d4b6.tar.gz |
* boot/ast.boot (idList?, charList?, stringLits?): New.
(bfMember): Use them for special cases.
* boot/parser.boot (bpDefinition): Stop support MDEF forms.
(bpMdef, bpMDefTail): Remove.
* boot/tokens.boot: "==>" is no longer a token.
Diffstat (limited to 'src/boot/parser.boot')
-rw-r--r-- | src/boot/parser.boot | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/src/boot/parser.boot b/src/boot/parser.boot index 6d4261b4..0149687e 100644 --- a/src/boot/parser.boot +++ b/src/boot/parser.boot @@ -871,9 +871,6 @@ bpDefinition()== bpEqPeek "TDEF" => bpRestore a bpTypeAliasDefition() - bpEqPeek "MDEF" => - bpRestore a - bpMdef() true bpRestore a false @@ -909,18 +906,6 @@ bpDefTail f == bpSimpleDefinitionTail() or bpCompoundDefinitionTail f - -bpMDefTail()== - -- bpEqKey "MDEF" and - -- (bpWhere() or bpTrap()) - -- and bpPush bfMDefinition1(bpPop2(),bpPop1()) - -- or - (bpVariable() or bpTrap()) and - bpEqKey "MDEF" and (bpWhere() or bpTrap()) - and bpPush %Macro(bpPop3(),bpPop2(),bpPop1()) - -bpMdef()== bpName() and bpStoreName() and bpMDefTail() - bpWhere()== bpDefinition() and (bpEqKey "WHERE" and (bpDefinitionItem() or bpTrap()) |