<div dir="ltr"><div>+1 - fix the bug with a warning cycle.</div><div><br></div><div>Maybe a good rule of thumb for when GR2 applies is: does the current behaviour contradict the documentation? (probably not applicable in all cases, of course)</div><div><br></div><div>Cheers</div><div>Simon<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 25 Sept 2023 at 12:49, Eric Seidel <<a href="mailto:eric@seidel.io">eric@seidel.io</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">I agree with Moritz that a GHC Proposal is not necessary. Proposals should be used for changes in *intended* user-facing behavior, this is just a routine bugfix. <br>
<br>
I also agree that a warning/deprecation period would be good, but I wouldn't spend overly on it. This sounds like a very easy issue to work around, just enable the extension explicitly. (Or would that have potential second-order consequences?)<br>
<br>
On Mon, Sep 25, 2023, at 05:03, Simon Peyton Jones wrote:<br>
> Dear GHC SC<br>
><br>
> You may or may not have been following GHC ticket #22141 <br>
> <<a href="https://gitlab.haskell.org/ghc/ghc/-/issues/22141" rel="noreferrer" target="_blank">https://gitlab.haskell.org/ghc/ghc/-/issues/22141</a>>, and Ryan's merge <br>
> request !11314 <br>
> <<a href="https://gitlab.haskell.org/ghc/ghc/-/merge_requests/11314" rel="noreferrer" target="_blank">https://gitlab.haskell.org/ghc/ghc/-/merge_requests/11314</a>>.<br>
><br>
> The story is this:<br>
>  • There is a bug in GHC that allows programs to use DataKinds without <br>
> the -XDataKinds extension.<br>
>  • The MR fixes the bug.<br>
>  • But of course that will mean that some programs that previously <br>
> compiled (exploiting the bug) will now fail to compile (correctly).<br>
> It seems like an example of our (GR2) discussion, but with a very <br>
> different flavour than the  (3+4=8) example.<br>
><br>
> Personally I think we should do it -- with a deprecation cycle saying <br>
> "You need DataKinds for this program, and you don't have it on, but you <br>
> will need it in the next release".   I don't want us to grandfather <br>
> bugs into GHC indefinitely -- although you could argue that the status <br>
> quo does little harm, I suppose.<br>
><br>
> Any views?   We will have some idea of the impact on head.hackage shortly.<br>
><br>
> *And specifically: do you want a GHC proposal for this change?*<br>
><br>
> Simon<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>
_______________________________________________<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>