From 3a1b055a8866989b106195ac27021d58fcd1e555 Mon Sep 17 00:00:00 2001 From: adam Date: Wed, 14 Dec 2005 02:28:30 -0500 Subject: [PATCH] checkpoint darcs-hash:20051214072830-5007d-46d0934fb4ade6ecb20e38cd56c923b94fa4c47d.gz --- tests/meta.g | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 ::= [~\-\]\\\~] -- 1.7.10.4