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

Just for the record: I'm in support as well. However, I was thinking that the following request

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

meant that I should only write if I was *not* in support. Or does this sentence mean "please state acceptance regardless, so that maybe we can accept in less than a week"? Cheers, Sebastian ------ Originalnachricht ------ Von "Erik de Castro Lopo" An ghc-steering-committee@haskell.org Datum 16.09.2024 10:15:15 Betreff Re: [ghc-steering-committee] #672: Amendment to exportable named defaults (#409), recommendation: accept

I already supported this on the GH issue. Here it is in email as well.

Erik

Eric Seidel wrote:

...

I support the amendment as well.

On Sat, Sep 14, 2024, at 08:18, Jakob Brünker wrote:

...

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 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

---

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

-- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/ _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee