diff options
Diffstat (limited to 'src/boot/parser.boot')
| -rw-r--r-- | src/boot/parser.boot | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/src/boot/parser.boot b/src/boot/parser.boot index 6d27017b..1fd714dc 100644 --- a/src/boot/parser.boot +++ b/src/boot/parser.boot @@ -464,7 +464,7 @@ bpImport() == ++ Namespace: ++ NAMESPACE Name bpNamespace() == - bpEqKey "NAMESPACE" and bpName() and + bpEqKey "NAMESPACE" and (bpName() or bpDot()) and bpPush %Namespace bpPop1() -- Parse a type alias defnition: @@ -592,17 +592,10 @@ bpSelector()== and bpPush(bfElt(bpPop2(),bpPop1())) or bpPush bfSuffixDot bpPop1() ) -++ NamedScope: -++ NAMESPACE (Name | DOT) -bpNamedScope() == - bpEqKey "NAMESPACE" and (bpName() or bpDot() or bpTrap()) and - bpPush %Namespace bpPop1() - bpApplication()== bpPrimary() and bpAnyNo function bpSelector and (bpApplication() and bpPush(bfApplication(bpPop2(),bpPop1())) or true) - or bpNamedScope() ++ Typing: ++ SimpleType |