6 Sep
2014
6 Sep
'14
12:22 a.m.
On Thu, Sep 4, 2014 at 1:06 PM, Petr Pudlák
since I got no response from the QuickCheck mail address, so I'm resending it here, if someone wants to comment on the idea.
I don't think it pays its way: it makes shrink a bit tidier, at the cost of breaking backwards compatibility in a widely used library.