checkpoint
authoradam <adam@megacz.com>
Tue, 13 Dec 2005 07:16:47 +0000 (02:16 -0500)
committeradam <adam@megacz.com>
Tue, 13 Dec 2005 07:16:47 +0000 (02:16 -0500)
darcs-hash:20051213071647-5007d-966b99dfcdd492dd3bdf7f9a8ca39ec6eaaa8358.gz

tests/meta.g

index 4cc100b..d006e87 100644 (file)
@@ -1,7 +1,6 @@
 s         ::=  ws grammar ws                  => "gram"
 ws       !::=  w**
 grammar   ::=  R+/ws => "grammar"
 s         ::=  ws grammar ws                  => "gram"
 ws       !::=  w**
 grammar   ::=  R+/ws => "grammar"
-Grammar   ::=  R+ => "grammar"
 R         ::=  word  ^"::=" Alternatives
             |  word ^"!::=" Alternatives
 
 R         ::=  word  ^"::=" Alternatives
             |  word ^"!::=" Alternatives