<div dir="ltr"><div>I don't think MonadFailDesugaring should have been part of the GHC2021 discussion at all - it's part of an existing migration plan, and there's no reason to disrupt that with GHC2021. That's why I labeled it "irrelevant" in my vote.</div><div><br></div><div>Cheers</div><div>Simon<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 24 Dec 2020 at 14:25, Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi,<br>
<br>
mostly a technical point, but just to avoid confusion<br>
<br>
MonadFailDesugaring is already on by default, and according to the<br>
docs, is supposed to be deprecated, _but making that behaviour<br>
permanent_. (So, really, NoMonadFailDesugaring is what is being<br>
deprecated).<br>
<br>
I was previously confused by this and voted for “no”, which is not what<br>
my intention is.  I updated my vote to “yes”.<br>
<br>
This now has 7 votes and reached “barely out” status.<br>
<br>
Dear Richard and Simon, Simon, Tom:<br>
You currently have “maybe”, “irrelevant” or “no” here. Do you indeed<br>
want to deviate from the documented plan of getting rid of<br>
NoMonadFailDesugaring?<br>
<br>
Cheers,<br>
Joachim<br>
<br>
<br>
<br>
-- <br>
Joachim Breitner<br>
  <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
  <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
<br>
<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>