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

[Adam Gundry]

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