checkpoint

[sbp.git] / tests / regression.tc

diff --git a/tests/regression.tc b/tests/regression.tc
index 97455eb..8802d29 100644 (file)
--- a/tests/regression.tc
+++ b/tests/regression.tc
@@ -60,8 +60,8 @@ testcase {
     input "aaabbbbccc";
 
     s   ::= ab & dc
-    ab !::= a b       => ab
-    dc !::= d c       => dc
+    ab  ::= a b       => ab
+    dc  ::= d c       => dc
     a   ::= "a" a     | ()
     b   ::= "b" b "c" | ()
     c   ::= "c" c     | ()
@@ -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")
+
+}