checkpoint

darcs-hash:20051214024416-5007d-8c75b8a4e0fd96373bb642dedd9d856c5fe873e9.gz

diff --git a/tests/testcase.g b/tests/testcase.g
index 9e15176..99a7925 100644 (file)
--- a/tests/testcase.g
+++ b/tests/testcase.g
@@ -1,7 +1,7 @@
 ts       ::= ws tests ws => ts
 tests    ::= test %% ws
 ws       !::= w*
 ts       ::= ws tests ws => ts
 tests    ::= test %% ws
 ws       !::= w*

-test     ::= ^"testcase" "{" input output $$ ws   grammar "}" /ws
-           | ^"testcase" "{" input              grammar "}" /ws
+test     ::= ^"testcase" "{" input output +/ ws   grammar "}" /ws
+           | ^"testcase" "{" input                grammar "}" /ws

 output   ::= "output" quoted ";" /ws
 input    ::= "input"  quoted ";" /ws
 output   ::= "output" quoted ";" /ws
 input    ::= "input"  quoted ";" /ws