From: adam Date: Tue, 13 Dec 2005 03:30:59 +0000 (-0500) Subject: checkpoint X-Git-Tag: tag_for_25-Mar~614 X-Git-Url: http://git.megacz.com/?p=sbp.git;a=commitdiff_plain;h=548a4a1afc3c2f2a521f0b564925aa92adfbe557 checkpoint darcs-hash:20051213033059-5007d-671f80c4e608085ad7ca44a41d8aee4271592f77.gz --- diff --git a/tests/meta.g b/tests/meta.g index beda61b..4c02201 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -1,10 +1,11 @@ s ::= w* Grammar w* => "gram" Grammar ::= R+ => "grammar" -R ::= word ^"::=" Class+/">" - | word ^"!::=" Class+/">" +R ::= word ^"::=" Sequence + | word ^"!::=" Sequence ec ::= [~\]\\\-\~] | escaped +Sequence ::= Class +/ ">" Class ::= Rewrite +/ "|" => "alternatives" Rewrite ::= Rewritex @@ -19,7 +20,7 @@ Rewritex ::= E+ => "rewrite" range ::= ec => "range0" | ec ^"-" ec => "range0" E ::= word => "nonTerminalY" | [(][)] => "epsilon" - | ^"{" Class+/">" "}" + | ^"{" Sequence "}" | "[" [\~]? range* "]" => "range" | E ^"*/" E | E ^"+/" E @@ -38,7 +39,7 @@ E ::= word => "nonTerminalY" | (E ^"++" > E ^"+") | "(" word ^")" - > ^"(" Class+/">" ")" + > ^"(" Sequence ")" w !::= " " | "//" [~\n]* "\n"