<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">I'm happy to accept.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">I think I would gone a little further, and allowed the pragmas to appear in either order (DEPRECATED then OVERLAPPABLE or OVERLAPPABLE then DEPRECATED), but the proposal allows on the former.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">But it's a matter of taste and I'm OK with the choice.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 28 Jun 2023 at 06:19, Moritz Angermann <<a href="mailto:moritz.angermann@gmail.com">moritz.angermann@gmail.com</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"><div dir="ltr">Dear all,<div><br></div><div>I believe the remaining concerns have been addressed. Are there any further concerns</div><div>regarding this proposal? Otherwise, I recommend we accept it.</div><div><br></div><div>Cheers,</div><div> Moritz</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 7 Jun 2023 at 22:59, Eric Seidel <<a href="mailto:eric@seidel.io" target="_blank">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">Yes, to be clear I don't my concern as something to block on, it's a watch-out-for for library authors.<br>
<br>
On Tue, Jun 6, 2023, at 03:44, Arnaud Spiwack wrote:<br>
> I support acceptance as well.<br>
><br>
> Eric's concern is a good point, but it probably shouldn't be an <br>
> obstacle to acceptance as 1/ the current proposal is still a clear <br>
> improvement on the situation 2/ it's unlikely that there is a <br>
> cost-effective way to improve on this axis.<br>
><br>
> Adam complains about semantics in the Github thread [1]. Probably <br>
> something worth improving before merging.<br>
><br>
> [1]: <br>
> <a href="https://github.com/ghc-proposals/ghc-proposals/pull/575#discussion_r1213653866" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/575#discussion_r1213653866</a><br>
><br>
> On Wed, 24 May 2023 at 11:10, Simon Peyton Jones <br>
> <<a href="mailto:simon.peytonjones@gmail.com" target="_blank">simon.peytonjones@gmail.com</a>> wrote:<br>
>> I support acceptance, but I have asked a question about syntax.<br>
>> <br>
>> Simon<br>
>> <br>
>> On Fri, 19 May 2023 at 10:05, Moritz Angermann <<a href="mailto:moritz.angermann@gmail.com" target="_blank">moritz.angermann@gmail.com</a>> wrote:<br>
>>> Dear Steering Committee,<br>
>>> <br>
>>> I strongly endorse GHC Proposal #575 <<a href="https://github.com/ghc-proposals/ghc-proposals/pull/575" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/575</a>>, which suggests the introduction of deprecation pragmas on instances.<br>
>>> <br>
>>> The proposal is a logical extension of Haskell's existing deprecation facilities. Its implementation would fill a notable gap in the language's current deprecation capabilities.<br>
>>> <br>
>>> The lack of instance deprecation hinders controlled evolution of libraries and codebases, often leading to unexpected changes for users. By allowing instance deprecation, we can enhance the stability and predictability of Haskell codebases and improve the user experience.<br>
>>> <br>
>>> In summary, Proposal #575 represents a valuable improvement for Haskell. I urge the committee to give it favorable consideration.<br>
>>> <br>
>>> Best Regards, Moritz<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>
>> _______________________________________________<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>
><br>
> -- <br>
> Arnaud Spiwack<br>
> Director, Research at <a href="https://moduscreate.com" rel="noreferrer" target="_blank">https://moduscreate.com</a> and <a href="https://tweag.io" rel="noreferrer" target="_blank">https://tweag.io</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>
_______________________________________________<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>
_______________________________________________<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>