checkpoint

[sbp.git] / tests / regression.tc

diff --git a/tests/regression.tc b/tests/regression.tc
index 2537fb9..8802d29 100644 (file)
--- a/tests/regression.tc
+++ b/tests/regression.tc
@@ -70,9 +70,9 @@ testcase {
 
 testcase {
     input "aabb";
-    output "xbx:{abab:{a b}}";
+    output "xbx:{{a} abab:{a b} {b}}";
 
-    x   ::= ~[] => ()
+    x   ::= ~[]
     s   ::= x* b x* => xbx
     b   ::= [ab][ab] => abab
          &~ ( "aa" | "bb" )
@@ -340,3 +340,15 @@ testcase {
 
     s   ::= [a-z] [a-z] [a-z] " "* => s
 }
+
+testcase {
+
+    input "a+2";
+    output "";
+
+    s     ::= Expr
+    Expr  ::= [0-9]++
+            | Plus:: left:Expra "+" right:Expr
+    Expra ::= Foo:: ("a" | "b")
+
+}