From: adam Date: Tue, 13 Dec 2005 08:24:33 +0000 (-0500) Subject: checkpoint X-Git-Tag: tag_for_25-Mar~584 X-Git-Url: http://git.megacz.com/?p=sbp.git;a=commitdiff_plain;h=560874f4dff528e676d6686d6ece366d4e4c6141 checkpoint darcs-hash:20051213082433-5007d-6761623cf7b66be92bbbde757784a6d256b3b9d0.gz --- diff --git a/tests/meta.g b/tests/meta.g index d20233e..5b69051 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -12,10 +12,11 @@ sequence ::= Es Es ::= e+ es ::= e %% ws +ss ::= es | es ^"/" e /ws conjuncts ::= rewrite - | rewrite ^"&" es /ws - | rewrite ^"&~" es /ws + | rewrite ^"&" e%%ws /ws + | rewrite ^"&~" e%%ws /ws rewrite ::= sequence /ws => "rewrite" | sequence ^"=>" word /ws