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

[Jakob Brünker]

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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240914/da9f8ece/attachment.html>