<div dir="ltr"><div>OK, having looked at the table, I'd be fine with defining GHC2020 (or is 2021?) as >= 8.<br></div><div><div><br></div><div>Also, I don't think getting additional input from the community would add any clarity to the process, at least not in ways significantly different from what we've already discussed.</div><div><br></div><div>Just for fun, my two biggest "disappointments" are:</div><div>   * PolyKinds on by default, because I think that TypeInType is a mistake, but I am ok with it as in practice it rarely matters</div><div>   * RecordWildCards not on by default, because it is a completely opt in feature, which is extremely convenient on occasion, and I find the arguments against it to be roughly equivalent to "I can think of ways to abuse this feature, so you shouldn't use it".</div><div><br></div><div>What are yours?</div><div><br></div><div>-Iavor</div><div><br></div><div><br></div><div><br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Dec 20, 2020 at 7:56 AM 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>
Am Sonntag, den 20.12.2020, 08:48 +0100 schrieb Alejandro Serrano Mena:<br>
> According to the proposal, we would have some community input at this<br>
> point, right? Maybe it’s a good moment to announce that we have<br>
> interim results and that people can discuss in the proposal PR.<br>
<br>
we _could_ do that, but the process as proposed intentionally limits<br>
community input to the hackage statistics and the survey.<br>
<br>
We already have long, hard to follow and not in all cases productive<br>
discussions among ourselves; would we really expect to get more clarity<br>
with more voices?<br>
<br>
Cheers,<br>
Joachim<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>