From: adam Date: Wed, 14 Dec 2005 02:45:02 +0000 (-0500) Subject: checkpoint X-Git-Tag: tag_for_25-Mar~571 X-Git-Url: http://git.megacz.com/?p=sbp.git;a=commitdiff_plain;h=1c86fe0488df6c123731f51d8636be37cff583ab;hp=52a970200c90043c7e99a77f29ea85f32753e804 checkpoint darcs-hash:20051214024502-5007d-3bd04d98bb18c0830972f85151e8e81008eaf8e6.gz --- diff --git a/tests/meta.g b/tests/meta.g index a0585bd..3a7d2f0 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -9,13 +9,13 @@ equiAlt ::= conjuncts +/ (ws "|" ws) => "alternatives" sequence ::= es > es ws ^"/" e -es ::= e %% (w**) +es ::= e */ (w**) ss ::= es | es ^"/" e /ws conjuncts ::= rewrite - | rewrite ^"&" e%%ws /ws - | rewrite ^"&~" e%%ws /ws + | rewrite ^"&" e*/ws /ws + | rewrite ^"&~" e*/ws /ws rewrite ::= sequence /ws => "rewrite" | sequence ^"=>" word /ws