checkpoint
authoradam <adam@megacz.com>
Wed, 14 Dec 2005 07:28:30 +0000 (02:28 -0500)
committeradam <adam@megacz.com>
Wed, 14 Dec 2005 07:28:30 +0000 (02:28 -0500)
darcs-hash:20051214072830-5007d-46d0934fb4ade6ecb20e38cd56c923b94fa4c47d.gz

tests/meta.g

index fa2b98f..7daac30 100644 (file)
@@ -7,7 +7,7 @@ r         ::=  word  ^"::=" alternatives /ws
 alternatives  ::=  equiAlt   +/ (ws ">" ws)
 equiAlt       ::=  conjuncts +/ (ws "|" ws)
 
-sequence    ::= es
+sequence    ::= e */ (w**)
               > es ws ^"/" e
 es          ::= e */ (w**)
 
@@ -17,7 +17,7 @@ conjuncts   ::=  rewrite
               |  rewrite ^"&"  e*/ws   /ws
               |  rewrite ^"&~" e*/ws   /ws
 
-rewrite  ::=  sequence                     /ws        => "rewrite"
+rewrite  ::=  sequence                     /ws => "rewrite"
            |  sequence ^"=>" (word|quoted) /ws
 
 ec       ::= [~\-\]\\\~]