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"* &~ ())
}
+