<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">GHC ticket #22141</a>, and <a href="https://gitlab.haskell.org/ghc/ghc/-/merge_requests/11314">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>