intermediate checkpoint

[sbp.git] / tests / regression.tc

diff --git a/tests/regression.tc b/tests/regression.tc
index 37a302e..e2ae422 100644 (file)
--- a/tests/regression.tc
+++ b/tests/regression.tc
@@ -262,20 +262,20 @@ testcase {
 
 
  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}} sbb:{while:{>:{{y} {0}} {f o o}} {b a r}}} 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}}} 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 " "
@@ -293,7 +293,7 @@ block     ::= "\n" indent  blockBody
            &~ "\n" outdent ~[\ ] ~[]*
 
 blockBody ::= statement
-            | statement ws blockBody => "sbb"
+            > statement ws blockBody => "sbb"
 
 statement ::= call
             | ^"while" expr block /ws