From: adam <adam@megacz.com>
Date: Sun, 9 Sep 2007 19:14:58 +0000 (-0400)
Subject: add test case for reduction node sharing
X-Git-Url: http://git.megacz.com/?p=sbp.git;a=commitdiff_plain;h=b12c78430aa088df4d951f9bf323171c57bfd1c9;hp=a61c67f0e574923f63bc939a79b5e9714a87a123

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
--- a/tests/regression.tc
+++ b/tests/regression.tc
@@ -449,8 +449,17 @@ 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"* &~ ())
 }
+