Re: [ghc-steering-committee] #672: Amendment to exportable named defaults (#409), recommendation: accept

I'm in support Jakob On Fri, Sep 13, 2024 at 7:30 PM Matthías Páll Gissurarson wrote:

I'm in support.

On Fri, 13 Sept 2024 at 18:44, Simon Peyton Jones < simon.peytonjones@gmail.com> wrote:

...

I'm in support.

Simon

On Tue, 10 Sept 2024 at 08:20, Adam Gundry wrote:

...

Dear Committee,

Mario Blažević proposes to amend the accepted proposal #409 for exportable named defaults, so that defaults will be exported only if they are listed explicitly (even where a module lacks an export list or is exported as a whole).

PR: https://github.com/ghc-proposals/ghc-proposals/pull/672

Diff: https://github.com/ghc-proposals/ghc-proposals/pull/672/files

Rendered:

https://github.com/blamario/ghc-proposals/blob/named-default-explicit-export...

I'll shepherd this one, since we want to get this resolved before 9.12. As quite a few committee members have already expressed support on the GitHub thread, and based on the rationale at

https://github.com/ghc-proposals/ghc-proposals/pull/672#issuecomment-2308980...,

I recommend prompt acceptance.

Please object within a week if you think we should reconsider.

Cheers,

Adam

On 25/08/2024 17:48, Simon Peyton Jones wrote:

...

Dear GHC Steering Committee

Please see https://github.com/ghc-proposals/ghc-proposals/pull/672 https://github.com/ghc-proposals/ghc-proposals/pull/672. This is a small amendment to a recently-accepted proposal, prompted by the discovery that the language feature accidentally breaks code that doesn't use it.

It's small but important. Maybe not yet formally submitted for our attention, but we want to get something agreed and implemented before the next release. So I think it's worth your early attention.

Simon

-- Adam Gundry, Haskell Consultant Well-Typed LLP, https://www.well-typed.com/

Registered in England & Wales, OC335890 27 Old Gloucester Street, London WC1N 3AX, England

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

-- -- Matthías Páll Gissurarson http://mpg.is/ _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee