if (r.numPops()!=0) reduce(r, r.numPops()-1, phase(), only);
else {
Input.Region region = phase().getLocation().createRegion(phase().getLocation());
- new Result(r.rewrite(region, phase().parser().cache()), this, r, phase());
+ new Result(r.rewrite(region), this, r, phase());
}
}
if (pos>0) child.reduce(r, pos-1, target, null);
else {
Input.Region region = child.phase().getLocation().createRegion(target.getLocation());
- new Reduction(child, r, r.rewrite(region, phase().parser().cache()), target);
+ new Reduction(child, r, r.rewrite(region), target);
}
}
holder[pos] = old;