From: adam Date: Wed, 14 Dec 2005 07:29:08 +0000 (-0500) Subject: checkpoint X-Git-Tag: tag_for_25-Mar~537 X-Git-Url: http://git.megacz.com/?p=sbp.git;a=commitdiff_plain;h=ee2f84c26849ceecf34826f6a2b4f5e1d03a0f2b;hp=3a1b055a8866989b106195ac27021d58fcd1e555 checkpoint darcs-hash:20051214072908-5007d-0395d3ef49c2758769cfb3ca83df532f41374148.gz --- 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