5 Sep
2014
5 Sep
'14
4:22 p.m.
On Thu, Sep 4, 2014 at 1:06 PM, Petr Pudlák <petr.mvd@gmail.com> wrote:
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.