From f491592fb43d4fd68221db2b893baaede4cfdaca Mon Sep 17 00:00:00 2001 From: adam Date: Tue, 13 Dec 2005 02:22:50 -0500 Subject: [PATCH] checkpoint darcs-hash:20051213072250-5007d-a1e987677d7734bd6fa926366c01d3ec2df7cabf.gz --- tests/meta.g | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/tests/meta.g b/tests/meta.g index e5a17b5..138ec62 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -6,17 +6,17 @@ r ::= word ^"::=" alternatives /ws ec ::= [~\]\\\-\~] | escaped -alternatives ::= EquiAlt +/ (ws ">" ws) -EquiAlt ::= Conjuncts +/ "|" => "alternatives" +alternatives ::= equiAlt +/ (ws ">" ws) +equiAlt ::= conjuncts +/ (ws "|" ws) => "alternatives" sequence ::= Es > Es ^"/" E /ws Es ::= E+ //es ::= E+/ws -Conjuncts ::= rewrite - | rewrite ^"&" sequence - | rewrite ^"&~" sequence +conjuncts ::= rewrite + | rewrite ^"&" sequence /ws + | rewrite ^"&~" sequence /ws rewrite ::= sequence /ws => "rewrite" | sequence ^"=>" word /ws -- 1.7.10.4