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

[Simon Peyton Jones]

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