add test case for reduction node sharing

darcs-hash:20070909191458-5007d-4fa4c1d010e78e52d4462c0977d51a48a5ee5cb5.gz

diff --git a/tests/regression.tc b/tests/regression.tc
index 80b83c8..c72c01d 100644 (file)
--- a/tests/regression.tc
+++ b/tests/regression.tc
@@ -449,8 +449,17 @@ testcase "epsilon as a positive conjunct" {
     X:: = "a" ("b"+ & ())
 }
 
     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 "epsilon as a negative conjunct" {
     input "aaaaa";
     s:: = X*
     X:: = "a" ("b"* &~ ())
 }

+