From: adam Date: Wed, 14 Dec 2005 07:28:30 +0000 (-0500) Subject: checkpoint X-Git-Tag: tag_for_25-Mar~538 X-Git-Url: http://git.megacz.com/?p=sbp.git;a=commitdiff_plain;h=3a1b055a8866989b106195ac27021d58fcd1e555;hp=cb5151d11037144c14809f6516ce5c1f1976ef7f checkpoint darcs-hash:20051214072830-5007d-46d0934fb4ade6ecb20e38cd56c923b94fa4c47d.gz --- diff --git a/tests/meta.g b/tests/meta.g index fa2b98f..7daac30 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -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 ::= [~\-\]\\\~]