From 548a4a1afc3c2f2a521f0b564925aa92adfbe557 Mon Sep 17 00:00:00 2001 From: adam Date: Mon, 12 Dec 2005 22:30:59 -0500 Subject: [PATCH] checkpoint darcs-hash:20051213033059-5007d-671f80c4e608085ad7ca44a41d8aee4271592f77.gz --- tests/meta.g | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) 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" -- 1.7.10.4