X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=tests%2Fregression.tc;h=f0815a8971ed8f9766b9685c74315898f0a29fb8;hp=c2206eecd9762327bd76ed8aa212579a9f877ebd;hb=f33c05adc5aa3dd324c5352cdbd6f4b55359acad;hpb=6c2a17e674b32389d281261796e9e962e9d9380c

diff --git a/tests/regression.tc b/tests/regression.tc
index c2206ee..f0815a8 100644
--- a/tests/regression.tc
+++ b/tests/regression.tc
@@ -263,63 +263,6 @@ testcase {
     idl  ::= [a-d]
 }
 
-//testcase {
-//
-//    input "
-//
-//
-// while x>0
-//   while y>0
-//    foo()
-//     bar()
-//
-// while x>0
-//   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}}}}";
-//
-//indent  !::= ww
-//outdent !::= " "  outdent " "
-//           | " "  (~[]*)  "\n"
-//
-//any      !::= ~[]*
-//s         ::= any "\n\n" ww statement ww "\n\n" any => smt
-//ww       !::= sp*
-//ws       !::= sp**
-//sp        ::= " "
-//
-//block     ::= "\n" indent  blockBody
-//           &~ "\n" outdent ~[\ ] ~[]*
-//
-//blockBody ::= statement
-//            > statement blockBody /ws => "sbb"
-//
-//statement ::= call
-//            | ^"while" expr block /ws
-//
-//expr      ::= ident
-//            | call
-//            | expr ^">" expr   /ws
-//            | num
-//
-//call      ::= expr "()"        /ws
-//
-//num       ::= [0-9]++
-//
-//ident     ::= [a-z]++ &~ keyword
-//keyword   ::= "if" | "then" | "else" | "while"
-//
-//w         ::= " " | "\n" | "\r"
-//ws        ::= w*
-//
-//
-//}
-
 testcase {
   input "aa bb";
   output "{q:{{a a}} q:{{b b}}}";
@@ -327,4 +270,61 @@ testcase {
   s  ::= q */ ws
   ws ::= " "*
   q  ::= [a-z]++ => "q"
-}
\ No newline at end of file
+}
+
+testcase {
+
+    input "
+
+
+ while x>0
+   while y>0
+    foo()
+     bar()
+
+ while x>0
+   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}}}}";
+
+indent  !::= ww
+outdent !::= " "  outdent " "
+           | " "  (~[]*)  "\n"
+
+any      !::= ~[]*
+s         ::= any "\n\n" ww statement ww "\n\n" any => smt
+ww       !::= sp*
+ws       !::= sp**
+sp        ::= " "
+
+block     ::= "\n" indent  blockBody
+           &~ "\n" outdent ~[\ ] ~[]*
+
+blockBody ::= statement
+            > statement blockBody /ws => "sbb"
+
+statement ::= call
+            | ^"while" expr block /ws
+
+expr      ::= ident
+            | call
+            | expr ^">" expr   /ws
+            | num
+
+call      ::= expr "()"        /ws
+
+num       ::= [0-9]++
+
+ident     ::= [a-z]++ &~ keyword
+keyword   ::= "if" | "then" | "else" | "while"
+
+w         ::= " " | "\n" | "\r"
+ws        ::= w*
+
+
+}