checkpoint

[sbp.git] / tests / meta.g

diff --git a/tests/meta.g b/tests/meta.g
index 0f69022..13a2c4b 100644 (file)
--- a/tests/meta.g
+++ b/tests/meta.g
@@ -17,11 +17,11 @@ ps         ::= e*/ws                              => "ps"
 psy        ::= ps
              | ps wp ^"/" ws e
 psx        ::= psy                   => "psy"
-             | e "<-" psy        /ws => "psyl"
+//             | e "<-" psy        /ws => "psyl"
              |        psy "->" e /ws => "psyr"
-             | e "<-" psy "->" e /ws => "psylr"
+//             | e "<-" psy "->" e /ws => "psylr"
 Sequence   ::= Quoted => "qprod"
-             > psx
+             > psx => "psx"
              | psx  "=>" ^"[]"         /ws
              | psx ^"=>" (word|Quoted) /ws