checkpoint

darcs-hash:20051213082433-5007d-6761623cf7b66be92bbbde757784a6d256b3b9d0.gz

diff --git a/tests/meta.g b/tests/meta.g
index d20233e..5b69051 100644 (file)
--- a/tests/meta.g
+++ b/tests/meta.g
@@ -12,10 +12,11 @@ sequence    ::= Es
 Es          ::= e+
 es          ::= e %% ws
 
+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