X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=tests%2Fregression.tc;h=ce66c93423c2f9f2e2ee1d815b4dc9f3ed0d0072;hb=260e46cff8995fb5a01e94c1a707d0ffff0a5382;hp=80b83c8a7a01403cdcae08ddd7ca7e1b4e4c7354;hpb=8a05c54202f3f5792bbd7146007c6718049fecd9;p=sbp.git

diff --git a/tests/regression.tc b/tests/regression.tc
index 80b83c8..ce66c93 100644
--- a/tests/regression.tc
+++ b/tests/regression.tc
@@ -449,8 +449,23 @@ testcase "epsilon as a positive conjunct" {
     X:: = "a" ("b"+ & ())
 }
 
+testcase "ensure sharing of so-called reduction nodes" {
+    input "a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a ";
+    ignore output;
+    s:: = (S!)+
+    S:: = A:: "a "
+        | B:: "a "
+}
+
 testcase "epsilon as a negative conjunct" {
     input "aaaaa";
     s:: = X*
     X:: = "a" ("b"* &~ ())
 }
+
+testcase "long input (reported by David Crawshaw)" {
+    input "0123456789";
+    s:: = X*
+    X:: = "a" ("b"* &~ ())
+}
+