X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=tests%2Fregression.tc;fp=tests%2Fregression.tc;h=c72c01d79bb25580725e64e8bd9e5eaed306781f;hp=80b83c8a7a01403cdcae08ddd7ca7e1b4e4c7354;hb=b12c78430aa088df4d951f9bf323171c57bfd1c9;hpb=a61c67f0e574923f63bc939a79b5e9714a87a123 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"* &~ ()) } +