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

[Matthías Páll Gissurarson]

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