checkpoint
[sbp.git] / tests / meta.g
index 4f671c6..019d5e3 100644 (file)
@@ -9,9 +9,8 @@ Conjuncts   ::=  Sequence
               |  Sequence ^"&~" Elements  /ws
 Elements    ::=  e*/ws
 
-ps          ::= Elements                           => "ps"
-psy         ::= ps
-              | ps !wp ^"/" !ws e
+psy         ::= Elements             => "ps"
+              | Elements !wp "/" !ws e => "ps2"
 psx         ::= psy                   => "psy"
               | psy ^"->" e /ws
 Sequence    ::= Quoted => "qprod"