From b12c78430aa088df4d951f9bf323171c57bfd1c9 Mon Sep 17 00:00:00 2001 From: adam Date: Sun, 9 Sep 2007 15:14:58 -0400 Subject: [PATCH 1/1] add test case for reduction node sharing darcs-hash:20070909191458-5007d-4fa4c1d010e78e52d4462c0977d51a48a5ee5cb5.gz --- tests/regression.tc | 9 +++++++++ 1 file changed, 9 insertions(+) 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"* &~ ()) } + -- 1.7.10.4