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

[Erik de Castro Lopo]

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 <mpg at mpg.is> wrote:
> >> I'm in support.
> >> 
> >> On Fri, 13 Sept 2024 at 18:44, Simon Peyton Jones <simon.peytonjones at gmail.com> wrote:
> >>> I'm in support.
> >>> 
> >>> Simon
> >>> 
> >>> On Tue, 10 Sept 2024 at 08:20, Adam Gundry <adam at well-typed.com> 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-only/proposals/0409-exportable-named-default.rst
> >>>> 
> >>>> 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-2308980309, 
> >>>> 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 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
> >> 
> >> 
> >> -- 
> >> --  Matthías Páll Gissurarson <http://mpg.is/>
> >> _______________________________________________
> >> 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


-- 
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/