Yeah, this has been a theoretical issue for a while. Although having experimented with shrinking event structures I have not yet found anywhere that this is a noticeable performance issue. So we should improve it, but I'm not sure any improvement will provide measurable benefit.
Yeah, this has been a theoretical issue for a while. Although having experimented with shrinking event structures I have not yet found anywhere that this is a noticeable performance issue. So we should improve it, but I'm not sure any improvement will provide measurable benefit.