<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">Indeed a bugfix with deprecation cycle seems entirely right.<br><div><br><blockquote type="cite"><div>On 25 Sep 2023, at 14:30, Richard Eisenberg <lists@richarde.dev> wrote:</div><br class="Apple-interchange-newline"><div><meta http-equiv="Content-Type" content="text/html; charset=utf-8"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">Yes, let's fix the bug with a deprecation cycle.<br><div><br><blockquote type="cite"><div>On Sep 25, 2023, at 8:43 AM, Moritz Angermann <<a href="mailto:moritz.angermann@gmail.com">moritz.angermann@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div><div dir="auto">I actually think a warning/deprecation period should be down in this case. It doesn’t break code right now. It is not critical for this to be fixed immediately (nothing significantly averse will happen to someone accidentally using this).</div><div dir="auto"><br></div><div dir="auto">I’m willing to put some of IOGs resources at helping with implementing the deprecation warnings; leading by example, hoping this will inspire others to do the same in the future. </div><div dir="auto"><br></div><div dir="auto">Best,</div><div dir="auto"> Moritz</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 25 Sep 2023 at 7:49 PM, 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-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)">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></div>
_______________________________________________<br>ghc-steering-committee mailing list<br><a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@haskell.org</a><br>https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee<br></div></blockquote></div><br></div>_______________________________________________<br>ghc-steering-committee mailing list<br>ghc-steering-committee@haskell.org<br>https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee<br></div></blockquote></div><br></body></html>