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

[Eric Seidel]

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