[ghc-steering-committee] Please consider GHC Proposal #575 foracceptance.

[Simon Peyton Jones]

I'm happy to accept.

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.

But it's a matter of taste and I'm OK with the choice.

Simon

On Wed, 28 Jun 2023 at 06:19, Moritz Angermann <moritz.angermann at gmail.com>
wrote:

> Dear all,
>
> I believe the remaining concerns have been addressed. Are there any
> further concerns
> regarding this proposal? Otherwise, I recommend we accept it.
>
> Cheers,
>  Moritz
>
> On Wed, 7 Jun 2023 at 22:59, Eric Seidel <eric at seidel.io> wrote:
>
>> Yes, to be clear I don't my concern as something to block on, it's a
>> watch-out-for for library authors.
>>
>> On Tue, Jun 6, 2023, at 03:44, Arnaud Spiwack wrote:
>> > I support acceptance as well.
>> >
>> > Eric's concern is a good point, but it probably shouldn't be an
>> > obstacle to acceptance as 1/ the current proposal is still a clear
>> > improvement on the situation 2/ it's unlikely that there is a
>> > cost-effective way to improve on this axis.
>> >
>> > Adam complains about semantics in the Github thread [1]. Probably
>> > something worth improving before merging.
>> >
>> > [1]:
>> >
>> https://github.com/ghc-proposals/ghc-proposals/pull/575#discussion_r1213653866
>> >
>> > On Wed, 24 May 2023 at 11:10, Simon Peyton Jones
>> > <simon.peytonjones at gmail.com> wrote:
>> >> I support acceptance, but I have asked a question about syntax.
>> >>
>> >> Simon
>> >>
>> >> On Fri, 19 May 2023 at 10:05, Moritz Angermann <
>> moritz.angermann at gmail.com> wrote:
>> >>> Dear Steering Committee,
>> >>>
>> >>> I strongly endorse GHC Proposal #575 <
>> https://github.com/ghc-proposals/ghc-proposals/pull/575>, which suggests
>> the introduction of deprecation pragmas on instances.
>> >>>
>> >>> 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.
>> >>>
>> >>> 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.
>> >>>
>> >>> In summary, Proposal #575 represents a valuable improvement for
>> Haskell. I urge the committee to give it favorable consideration.
>> >>>
>> >>> Best Regards, Moritz
>> >>>
>> >>> _______________________________________________
>> >>> ghc-steering-committee mailing list
>> >>> ghc-steering-committee at haskell.org
>> >>>
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>> >> _______________________________________________
>> >> ghc-steering-committee mailing list
>> >> ghc-steering-committee at haskell.org
>> >>
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>> >
>> >
>> > --
>> > Arnaud Spiwack
>> > Director, Research at https://moduscreate.com and https://tweag.io.
>> > _______________________________________________
>> > ghc-steering-committee mailing list
>> > ghc-steering-committee at haskell.org
>> >
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>> _______________________________________________
>> ghc-steering-committee mailing list
>> ghc-steering-committee at haskell.org
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20230628/aaf006ef/attachment.html>