From ee2f84c26849ceecf34826f6a2b4f5e1d03a0f2b Mon Sep 17 00:00:00 2001 From: adam Date: Wed, 14 Dec 2005 02:29:08 -0500 Subject: [PATCH] checkpoint darcs-hash:20051214072908-5007d-0395d3ef49c2758769cfb3ca83df532f41374148.gz --- tests/meta.g | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/tests/meta.g b/tests/meta.g index 7daac30..03bd717 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -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 -- 1.7.10.4