checkpoint
authoradam <adam@megacz.com>
Wed, 14 Dec 2005 02:45:02 +0000 (21:45 -0500)
committeradam <adam@megacz.com>
Wed, 14 Dec 2005 02:45:02 +0000 (21:45 -0500)
darcs-hash:20051214024502-5007d-3bd04d98bb18c0830972f85151e8e81008eaf8e6.gz

tests/meta.g

index a0585bd..3a7d2f0 100644 (file)
@@ -9,13 +9,13 @@ equiAlt       ::=  conjuncts +/ (ws "|" ws)          => "alternatives"
 
 sequence    ::= es
               > es ws ^"/" e
 
 sequence    ::= es
               > es ws ^"/" e
-es          ::= e %% (w**)
+es          ::= e */ (w**)
 
 ss ::= es | es ^"/" e /ws
 
 conjuncts   ::=  rewrite
 
 ss ::= es | es ^"/" e /ws
 
 conjuncts   ::=  rewrite
-              |  rewrite ^"&"  e%%ws   /ws
-              |  rewrite ^"&~" e%%ws   /ws
+              |  rewrite ^"&"  e*/ws   /ws
+              |  rewrite ^"&~" e*/ws   /ws
 
 rewrite  ::=  sequence                  /ws        => "rewrite"
            |  sequence ^"=>" word       /ws
 
 rewrite  ::=  sequence                  /ws        => "rewrite"
            |  sequence ^"=>" word       /ws