From: adam Date: Tue, 13 Dec 2005 07:53:55 +0000 (-0500) Subject: checkpoint X-Git-Tag: tag_for_25-Mar~587 X-Git-Url: http://git.megacz.com/?p=sbp.git;a=commitdiff_plain;h=81b213c3a4345486c2f96f1c44e93d4e38134102 checkpoint darcs-hash:20051213075355-5007d-374a1834cda482a04acc40d7237abbc264243276.gz --- diff --git a/tests/meta.g b/tests/meta.g index 3c191d4..c89fae1 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -1,18 +1,18 @@ s ::= ws grammar ws => "gram" ws !::= w** -grammar ::= r+/ws => "grammar" +grammar ::= r$$ws => "grammar" r ::= word ^"::=" alternatives /ws | word ^"!::=" alternatives /ws ec ::= [~\]\\\-\~] | escaped -alternatives ::= equiAlt +/ (ws ">" ws) -equiAlt ::= conjuncts +/ (ws "|" ws) => "alternatives" +alternatives ::= equiAlt $$ (ws ">" ws) +equiAlt ::= conjuncts $$ (ws "|" ws) => "alternatives" sequence ::= Es > Es ^"/" e /ws Es ::= e+ -es ::= e+/ws +es ::= e$$ws conjuncts ::= rewrite @@ -31,7 +31,6 @@ e ::= word => "nonTerminalY" | [(][)] => "epsilon" | ^"{" alternatives "}" /ws | "[" [\~]? range* "]" => "range" - | e ^"+/" e /ws | e ^"%%" e /ws | e ^"$$" e /ws | e ^"?" /ws diff --git a/tests/testcase.g b/tests/testcase.g index 920717e..9e15176 100644 --- a/tests/testcase.g +++ b/tests/testcase.g @@ -1,7 +1,7 @@ ts ::= ws tests ws => ts tests ::= test %% ws ws !::= w* -test ::= ^"testcase" "{" input output+/ws grammar "}" /ws +test ::= ^"testcase" "{" input output $$ ws grammar "}" /ws | ^"testcase" "{" input grammar "}" /ws output ::= "output" quoted ";" /ws input ::= "input" quoted ";" /ws