Proposal: free shrinking with QuickCheck

[Bryan O'Sullivan]

On Thu, Nov 21, 2013 at 4:27 PM, Reid Draper <reiddraper at gmail.com> wrote:

> I originally sent this message to the QuickCheck mailing list,
> but haven't heard anything in a while, and realized there are
> only ten subscribers. Below is the original message, any feedback
> appreciated.
>

I don't love this idea on first reading. The move to switch to generating a
rose tree seems rather intrusive and like it could put a lot of complexity
right in the paths of developers. That being said, I'd be interested in
seeing the idea fleshed out to the point of determining whether my worry
has any teeth - could the end-user writing of an Arbitrary instance remain
unaffected in practice?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20131122/f95fea80/attachment.html>