added isConcrete

[sbp.git] / tests / regression.tc

diff --git a/tests/regression.tc b/tests/regression.tc
index f911a97..78d35e3 100644 (file)
--- a/tests/regression.tc
+++ b/tests/regression.tc
@@ -348,7 +348,13 @@ testcase {
 
     s       = Expr
     Expr    = [0-9]++
-            | Plus:: left:Expra "+" right:Expr
+            | Plus:: (left::Expra) "+" (right::Expr)
     Expra   = Foo:: ("a" | "b")
 
 }
+
+testcase {
+    input "aaaaa";
+    s = top:: z (q::"a"*) z
+    z = a:: "a"
+}
\ No newline at end of file