[QuickCheck] [Haskell-cafe] Fwd: an idea for improving 'shrink'

Bryan O'Sullivan bos at serpentine.com
Sat Sep 6 18:17:07 BST 2014


On Sat, Sep 6, 2014 at 2:17 AM, Petr Pudlák <petr.mvd at gmail.com> wrote:

> That’s a problem. But I believe it the patch addresses it. QuickCheck
> always uses ‘shrink’, not ‘shrinkA’, and as the default implementation of
> ‘shrink’ is defined in terms of ‘shrinkA’, then it’s possible to define
> instances both using ‘shrink’ and using ‘shrinkA’.


Ah, if you can retain backwards compatibility, then it becomes a lot more
interesting...
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://projects.haskell.org/pipermail/quickcheck/attachments/20140906/9f8f0fe3/attachment.htm>


More information about the QuickCheck mailing list