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@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee