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

[Sebastian Graf]

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