checkpoint
authoradam <adam@megacz.com>
Wed, 14 Dec 2005 07:29:08 +0000 (02:29 -0500)
committeradam <adam@megacz.com>
Wed, 14 Dec 2005 07:29:08 +0000 (02:29 -0500)
darcs-hash:20051214072908-5007d-0395d3ef49c2758769cfb3ca83df532f41374148.gz

tests/meta.g

index 7daac30..03bd717 100644 (file)
@@ -8,8 +8,7 @@ alternatives  ::=  equiAlt   +/ (ws ">" ws)
 equiAlt       ::=  conjuncts +/ (ws "|" ws)
 
 sequence    ::= e */ (w**)
-              > es ws ^"/" e
-es          ::= e */ (w**)
+              > e */ (w**) ws ^"/" e
 
 ss ::= es => "seq" | es ^"/" e /ws