intermediate checkpoint

[sbp.git] / tests / regression.tc

diff --git a/tests/regression.tc b/tests/regression.tc
index 7d170e0..e2ae422 100644 (file)
--- a/tests/regression.tc
+++ b/tests/regression.tc
@@ -260,36 +260,40 @@ testcase {
     input "
 
 
+
  while x>0
-   while y>0
-    foo()
-     bar()
+    while y>0
+       foo()
+          bar()
+
 
  while x>0
-   while y>0
-    foo()
-   bar()
+    while y>0
+          foo()
+        bar()
+
 
 
 ";
-    output "smt:{while:{>:{{x} {0}} while:{>:{{y} {0}} sbb:{{f o o} {b a r}}}}}";
-    output "smt:{while:{>:{{x} {0}} sbb:{while:{>:{{y} {0}} {f o o}} {b a r}}}}";
+  output "smt:{while:{>:{{x} {0}} while:{>:{{y} {0}} sbb:{{f o o} {b a r}}}} while:{>:{{x} {0}} sbb:{while:{>:{{y} {0}} {f o o}} {b a r}}}}";
 
 indent  !::= ww
 outdent !::= " "  outdent " "
            | " "  (~[]*)  "\n"
 
-any      !::= ~[]*
-s         ::= any "\n\n" ww statement ww "\n\n" any => smt
+w        !::= " " | "\n" | "\r"
+ws       !::= w*
 ww       !::= sp*
-ws       !::= sp**
-sp        ::= " "
+sp       !::= " "
+any      !::= ~[]*
+
+s         ::= ws statement ws statement ws => smt
 
 block     ::= "\n" indent  blockBody
            &~ "\n" outdent ~[\ ] ~[]*
 
 blockBody ::= statement
-            > statement blockBody /ws => "sbb"
+            > statement ws blockBody => "sbb"
 
 statement ::= call
             | ^"while" expr block /ws
@@ -306,8 +310,6 @@ num       ::= [0-9]++
 ident     ::= [a-z]++ &~ keyword
 keyword   ::= "if" | "then" | "else" | "while"
 
-w         ::= " " | "\n" | "\r"
-ws        ::= w*
 
 
 }