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

[Eric Seidel]

The acting shepherd will often assume that silence is assent in order to keep things moving (within reason). But as a rule we prefer to have the committee explicitly voice support. 

Sent from my iPhone

> On Sep 16, 2024, at 03:20, Sebastian Graf <sgraf1337 at gmail.com> wrote:
> 
> 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" <erikd at mega-nerd.com>
> An ghc-steering-committee at 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 <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/
>> _______________________________________________
>> 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