checkpoint
authoradam <adam@megacz.com>
Mon, 19 Dec 2005 06:25:58 +0000 (01:25 -0500)
committeradam <adam@megacz.com>
Mon, 19 Dec 2005 06:25:58 +0000 (01:25 -0500)
darcs-hash:20051219062558-5007d-93c254e34f0b70f3b757a2eaef0792a59311da0a.gz

tests/meta.g
tests/regression.tc

index f9e0e67..c9d588d 100644 (file)
@@ -29,7 +29,7 @@ e        ::=  word                          => "nonTerminal"
            |    ^"["  (range*) "]"
            |    ^"[~" (range*) "]"
            |    ^"^" quoted             /ws
            |    ^"["  (range*) "]"
            |    ^"[~" (range*) "]"
            |    ^"^" quoted             /ws
-           |    ^"!" e                  /ws
+//           |    ^"!" e                  /ws
 
            |  (e ws ^"**" > e ws ^"*")
            |  e ^"*/" e                 /ws
 
            |  (e ws ^"**" > e ws ^"*")
            |  e ^"*/" e                 /ws
index 6196b48..9a7ef50 100644 (file)
@@ -286,12 +286,12 @@ outdent !::= " "  outdent " "
            | " "  ([~]*)  "\n"
 
 any      !::= [~]*
            | " "  ([~]*)  "\n"
 
 any      !::= [~]*
-s         ::= !any "\n\n" !ww statement !ww "\n\n" !any => smt
-ww        ::= sp*
+s         ::= any "\n\n" ww statement ww "\n\n" any => smt
+ww       !::= sp*
 ws       !::= sp**
 sp        ::= " "
 
 ws       !::= sp**
 sp        ::= " "
 
-block     ::= "\n" !indent  blockBody
+block     ::= "\n" indent  blockBody
            &~ "\n" outdent [~\ ] [~]*
 
 blockBody ::= statement
            &~ "\n" outdent [~\ ] [~]*
 
 blockBody ::= statement