checkpoint

[sbp.git] / tests / regression.tc

diff --git a/tests/regression.tc b/tests/regression.tc
index 77af771..cdad831 100644 (file)
--- a/tests/regression.tc
+++ b/tests/regression.tc
@@ -20,6 +20,22 @@
 //}
 
 testcase {
+    input "aaaaa";
+    s = A
+    A = "a" s &~ "a" A
+      | "a" A &~ "a" S
+}
+
+testcase {
+    input  "a";
+    output "yes:{}";
+    s = A
+    A = "a" s &~ "a" A
+      | "a" A &~ "a" S
+      | ()
+}
+
+testcase {
     input "ab c";
     output "1:{{a b} {c}}";
 
@@ -300,7 +316,7 @@ any        = ~[]*
 s          = smt:: !ws statement !ws statement !ws
 
 block       =        !"\n" !indent  blockBody
-           &~        !"\n" !outdent !(~[\ ]) !(~[]*)
+           &~        !"\n" (" " !outdent " ") !(~[\ ]) !(~[]*)
 
 blockBody   =       statement
             > sbb:: statement ws blockBody