<div dir="ltr">The current intention is to go ahead with MonadFail.<div><br></div><div>It sounds like we'll need to delay the warnings themselves until around 8.4.</div><div><br></div><div>We can add them, but not turn them on by default in the short term. This has the knock-on effect of delaying the whole plan a release or two, but otherwise the plan is very actionable.</div><div><br></div><div>A lot of the opposition comes from fear that we 'might do anything at any time'. If we're up front about what is coming and give sufficient notice and the ability for folks to maintain a reasonably wide backwards compatibility window without needing to dip into CPP or suppress warnings them most of those fears go away.</div><div><br></div><div>-Edward</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Oct 16, 2015 at 12:09 PM, David Luposchainsky <span dir="ltr"><<a href="mailto:dluposchainsky@googlemail.com" target="_blank">dluposchainsky@googlemail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On <a href="tel:13.10.2015" value="+13102015">13.10.2015</a> 16:29, Simon Peyton Jones wrote:<br>
> Also, David, did our conversation at HX help you get un-stuck?<br>
<br>
</span>Hi Simon,<br>
<br>
yes, it was definitely a good pointer. On the other hand, I found the Haskell<br>
Exchange to be quite a frustrating event with respect to current events: there<br>
was a load of very loud, but in my opinion very wrong, categorical opposition to<br>
breaking changes in general.<br>
I spent quite a bit of time worrying about MonadFail in the past, but right now<br>
I'd like to wait for a "tentative yes" from the CLC before I keep going, because<br>
I'm really not sure the mob is going to make me throw away my patch. Granted, a<br>
lot of the discussion is about MRP, but many of the points brought up there are<br>
equally valid against the MFP.<br>
<span class="HOEnZb"><font color="#888888"><br>
David<br>
</font></span></blockquote></div><br></div>