<div dir="ltr"><div>Hi Simon,</div><div><br></div>I'm strongly in favour of the deprecation cycle (can we even backport the warning to patch releases?).<div>I'm not sure we need a GHC proposal for this? Would this mean we need a proposal for every bug fix</div><div>down the line? </div><div><br></div><div>My view is as follows: I do not believe anyone exploits this bug _on purpose_. And breaking their code</div><div>suddenly because, they overlooked a necessity no one informed them about, seems hostile to users,</div><div>warning them and letting them know that this lack of declaration will be rejected in the future seems the</div><div>right approach to me. If we can warn them even earlier (with older patch releases, the better).</div><div><br></div><div>Cheers,</div><div> Moritz</div><div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 25 Sept 2023 at 17:03, Simon Peyton Jones <<a href="mailto:simon.peytonjones@gmail.com">simon.peytonjones@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Dear GHC SC</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">You may or may not have been following <a href="https://gitlab.haskell.org/ghc/ghc/-/issues/22141" target="_blank">GHC ticket #22141</a>, and <a href="https://gitlab.haskell.org/ghc/ghc/-/merge_requests/11314" target="_blank">Ryan's merge request !11314</a>.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">The story is this:</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><ul><li>There is a bug in GHC that allows programs to use DataKinds without the -XDataKinds extension.</li><li>The MR fixes the bug.</li><li>But of course that will mean that some programs that previously compiled (exploiting the bug) will now fail to compile (correctly).</li></ul><div></div><div>It seems like an example of our (GR2) discussion, but with a very different flavour than the  (3+4=8) example.</div><div><br></div><div>Personally I think we should do it -- with a deprecation cycle saying "You need DataKinds for this program, and you don't have it on, but you will need it in the next release".   I don't want us to grandfather bugs into GHC indefinitely -- although you could argue that the status quo does little harm, I suppose.<br></div><div><br></div><div>Any views?   We will have some idea of the impact on head.hackage shortly.<br></div><div><br></div><div>
<div><b>And specifically: do you want a GHC proposal for this change?</b></div>

</div><div><br></div><div>Simon<br></div></div></div>
_______________________________________________<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>