
<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Nov 25, 2013, at 6:09 PM, Bryan O'Sullivan <<a href="mailto:bos@serpentine.com">bos@serpentine.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Nov 25, 2013 at 12:44 PM, Reid Draper <span dir="ltr"><<a href="mailto:reiddraper@gmail.com" target="_blank">reiddraper@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>My experience with both Erlang QuickCheck and simple-check (Clojure) is that it _is_ enough information. In the rare cases it's not, you can always still implement your own logic for shrinking by breaking the Gen abstraction (manipulating the RoseTree yourself).</div>

<div></div></blockquote></div><div class="gmail_extra"><br></div>It seems we're cautiously optimistic that this could work. I think the next step is up to you.</div><div class="gmail_extra"><br>If I were in your shoes, here's what I'd do: patch up QuickCheck to make this change, and then for some fairly large handful of widely-used packages on Hackage that have test suites, see how many of them can build more or less unscathed, maybe with the shrink method still present in the typeclass so that packages that define it don't have spurious build failures - and then see how many test suites continue to work okay.<br>

<br>In other words, I think this is worth pursuing, and that the best way to make progress on it is to try it and see how well it goes. That way, you can come back armed with both a diff and evidence that it's good.</div>

</div>

</blockquote></div><br><div>Good advice, thanks.</div><div><br></div><div>Reid</div></body></html>