checkpoint

[sbp.git] / tests / meta.g

diff --git a/tests/meta.g b/tests/meta.g
index d20233e..e73ca6c 100644 (file)
--- a/tests/meta.g
+++ b/tests/meta.g
@@ -8,14 +8,15 @@ alternatives  ::=  equiAlt   $$ (ws ">" ws)
 equiAlt       ::=  conjuncts $$ (ws "|" ws)          => "alternatives"
 
 sequence    ::= Es
-              > Es ^"/" e  /ws
-Es          ::= e+
-es          ::= e %% ws
+              > Es ws ^"/" e
+Es          ::= e %% (w**)
+es          ::= e %% (w**)
 
+ss ::= es | es ^"/" e /ws
 
 conjuncts   ::=  rewrite
-              |  rewrite ^"&"  es   /ws
-              |  rewrite ^"&~" es   /ws
+              |  rewrite ^"&"  e%%ws   /ws
+              |  rewrite ^"&~" e%%ws   /ws
 
 rewrite  ::=  sequence                  /ws        => "rewrite"
            |  sequence ^"=>" word       /ws