w ::= " " | "\n" | "\r"
ws ::= w** => ()
- | w** "//" (~[\n]*) "\n" ws => ()
+ | w** "//" ~[\n]* "\n" ws => ()
wp ::= w++
RHS ::= (Conjuncts +/ (!ws "|" !ws)) +/ (!ws ">" !ws)
| ^"{" Sequence "}" /ws
| ^"[" Range* "]"
- | (e ^"++" /ws > e ^"+" /ws)
- | (e ^"++/" e /ws > e ^"+/" e /ws)
- | (e ^"**" /ws > e ^"*" /ws)
- | (e ^"**/" e /ws > e ^"*/" e /ws)
+ | e ^"++" /ws -> ~[/]
+ | e ^"+" /ws -> ~[+]
+ | e ^"++/" e /ws
+ | e ^"+/" e /ws
+ | e ^"**" /ws -> ~[/]
+ | e ^"*" /ws -> ~[*]
+ | e ^"**/" e /ws
+ | e ^"*/" e /ws
| ^"!" e /ws
| e ^"?" /ws