checkpoint

[sbp.git] / tests / regression.tc

diff --git a/tests/regression.tc b/tests/regression.tc
index cbb50ce..faba28d 100644 (file)
--- a/tests/regression.tc
+++ b/tests/regression.tc
@@ -355,6 +355,7 @@ testcase {
 
 testcase {
     input "aaaaa";
+    output "top:{a q:{{a a a}} a}";
     s = top:: z (q::"a"*) z
     z = a:: "a"
 }
@@ -363,11 +364,11 @@ testcase {
     input  "if (x) if (y) z else q";
     output "if:{ident:{{x}} else:{if:{ident:{{y}} then:{ident:{{z}}}} ident:{{q}}}}";
 
-    s      = e
+    s      = Expr
     Expr   = if::     "if" "(" Expr ")" IfBody     /ws
            | ident::  [a-z]++
-    IfBody = else::   Expr             "else" Expr /ws
-           | then::   Expr &~     ~[]* "else" Expr /ws
+    IfBody = else::   Expr            "else"  Expr /ws
+           | then::   Expr &~   (~[]* "else" !Expr /ws)
     ws     = [ ]**
 }