<div dir="auto">Adam,</div><div dir="auto"><br></div><div style="background-color:rgba(0,0,0,0)!important;border-color:rgb(255,255,255)!important" dir="auto">How can I support a proposal that cements a <div dir="auto"><span style="font-family:-apple-system,"Helvetica Neue";font-size:16px;font-style:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:1px;text-decoration:none;float:none;display:inline!important;background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)">already firmly established practice, I fundamentally disagree with?</span></div><div dir="auto"><span style="font-family:-apple-system,"Helvetica Neue";font-size:16px;font-style:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:1px;text-decoration:none;float:none;display:inline!important;background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)"><br></span></div><div dir="auto" style="color:rgb(255,255,255)!important;background-color:rgba(0,0,0,0)!important;border-color:rgb(255,255,255)!important"><font style="font-family:-apple-system,"Helvetica Neue";background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)"><span style="word-spacing:1px;font-family:-apple-system,"Helvetica Neue"">Every extension in a stable GHC release by extension has to be stable, maybe deprecated. But stable. This proposal basically says it is ok to have unstable extensions in a stable GHC release. I do not believe that -WXUnstable should exist in a stable compiler. And from an end user perspective I think there can only be stable and deprecated extensions.</span></font></div><div dir="auto" style="background-color:rgba(0,0,0,0);border-color:rgb(255,255,255)"><font style="font-family:-apple-system,"Helvetica Neue";background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)"><span style="word-spacing:1px;font-family:-apple-system,"Helvetica Neue""><br></span></font></div><div dir="auto" style="background-color:rgba(0,0,0,0);border-color:rgb(255,255,255)"><font style="font-family:-apple-system,"Helvetica Neue";background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)"><span style="word-spacing:1px;font-family:-apple-system,"Helvetica Neue"">GHC is already a highly complex piece of software from an end user perspective, let’s try to make it simpler not add even more complexity.</span></font></div><div dir="auto" style="background-color:rgba(0,0,0,0);border-color:rgb(255,255,255)"><font style="font-family:-apple-system,"Helvetica Neue";background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)"><span style="word-spacing:1px;font-family:-apple-system,"Helvetica Neue""><br></span></font></div><div dir="auto" style="background-color:rgba(0,0,0,0)!important;border-color:rgb(32,33,36)!important"><font style="font-family:-apple-system,"Helvetica Neue";color:rgb(49,49,49)"><span style="word-spacing:1px;font-family:-apple-system,"Helvetica Neue"">I have no intentions to turn this proposal into <div dir="auto" style="font-family:-apple-system,"Helvetica Neue""><span style="font-size:16px;font-style:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;float:none;display:inline!important;background-color:rgba(0,0,0,0);border-color:rgb(0,0,0) rgb(0,0,0) rgb(0,0,0) rgb(204,204,204);color:rgb(0,0,0)">a radical change to release practices. I have provided most of this for context as to why I can not see myself supporting this proposal as is. </span></div></span></font></div><div dir="auto" style="background-color:rgba(0,0,0,0);border-color:rgb(255,255,255)"><font style="font-family:-apple-system,"Helvetica Neue";background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)"><span style="word-spacing:1px;font-family:-apple-system,"Helvetica Neue""><br></span></font></div><div dir="auto" style="color:rgb(255,255,255)!important;background-color:rgba(0,0,0,0)!important;border-color:rgb(32,33,36)!important"><font style="font-family:-apple-system,"Helvetica Neue";color:rgb(49,49,49)"><span style="word-spacing:1px;font-family:-apple-system,"Helvetica Neue"">I can support a subset of the proposal. I do not see how I can support a this proposal in its entirety?</span></font></div><div dir="auto"><span style="font-family:-apple-system,"Helvetica Neue";word-spacing:1px;background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)"><br></span></div><div dir="auto"><span style="font-family:-apple-system,"Helvetica Neue";word-spacing:1px;background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)">Best,</span><br></div><div dir="auto"><span style="font-family:-apple-system,"Helvetica Neue";font-size:16px;font-style:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:1px;text-decoration:none;float:none;display:inline!important;background-color:rgba(0,0,0,0);border-color:rgb(49,49,49);color:rgb(49,49,49)">  Moritz</span></div></div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, 3 Sep 2023 at 4:59 PM, Adam Gundry <<a href="mailto:adam@well-typed.com">adam@well-typed.com</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)">On 03/09/2023 01:15, Moritz Angermann wrote:<br>
> <br>
> The practice that we put experimental/unstable features into our stable <br>
> releases is something this proposal seems to cement, which is why I’m so <br>
> much against it in this form.<br>
<br>
But that practice is already firmly established (de facto), it's not <br>
something being introduced by this proposal! So while I understand your <br>
opposition to *the practice*, I'm struggling to understand the strength <br>
of your opposition to *the proposal*.<br>
<br>
You're welcome to make the argument (in a subsequent proposal, perhaps) <br>
that GHC should more firmly gate access to unstable features. If <br>
anything, that would seem easier to specify once the proposal's approach <br>
clearly defines those features. And in the interim, at least the <br>
proposal makes it possible to switch off unstable features systematically.<br>
<br>
So I understand that this proposal doesn't get you everything you want. <br>
But it seems like a reasonable interim step, and one that is more likely <br>
to command broad consensus than a radical change to release practices?<br>
<br>
Best wishes,<br>
<br>
Adam<br>
<br>
<br>
-- <br>
Adam Gundry, Haskell Consultant<br>
Well-Typed LLP, <a href="https://www.well-typed.com/" rel="noreferrer" target="_blank">https://www.well-typed.com/</a><br>
<br>
Registered in England & Wales, OC335890<br>
27 Old Gloucester Street, London WC1N 3AX, England<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></div>