<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">I'm in support.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 10 Sept 2024 at 08:20, Adam Gundry <<a href="mailto:adam@well-typed.com" target="_blank">adam@well-typed.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Dear Committee,<br>
<br>
Mario Blažević proposes to amend the accepted proposal #409 for <br>
exportable named defaults, so that defaults will be exported only if <br>
they are listed explicitly (even where a module lacks an export list or <br>
is exported as a whole).<br>
<br>
PR: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/672" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/672</a><br>
<br>
Diff: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/672/files" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/672/files</a><br>
<br>
Rendered: <br>
<a href="https://github.com/blamario/ghc-proposals/blob/named-default-explicit-export-only/proposals/0409-exportable-named-default.rst" rel="noreferrer" target="_blank">https://github.com/blamario/ghc-proposals/blob/named-default-explicit-export-only/proposals/0409-exportable-named-default.rst</a><br>
<br>
I'll shepherd this one, since we want to get this resolved before 9.12. <br>
As quite a few committee members have already expressed support on the <br>
GitHub thread, and based on the rationale at <br>
<a href="https://github.com/ghc-proposals/ghc-proposals/pull/672#issuecomment-2308980309" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/672#issuecomment-2308980309</a>, <br>
I recommend prompt acceptance.<br>
<br>
Please object within a week if you think we should reconsider.<br>
<br>
Cheers,<br>
<br>
Adam<br>
<br>
<br>
<br>
On 25/08/2024 17:48, Simon Peyton Jones wrote:<br>
> Dear GHC Steering Committee<br>
> <br>
> Please see <a href="https://github.com/ghc-proposals/ghc-proposals/pull/672" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/672</a> <br>
> <<a href="https://github.com/ghc-proposals/ghc-proposals/pull/672" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/672</a>>.  This is a <br>
> small amendment to a recently-accepted proposal, prompted by the <br>
> discovery that the language feature accidentally breaks code that <br>
> doesn't use it.<br>
> <br>
> It's small but important.  Maybe not yet formally submitted for our <br>
> attention, but we want to get something agreed and implemented before <br>
> the next release.  So I think it's worth your early attention.<br>
> <br>
> Simon<br>
<br>
<br>
-- <br>
Adam Gundry, Haskell Consultant<br>
Well-Typed LLP, <a href="https://www.well-typed.com/" rel="noreferrer" target="_blank">https://www.well-typed.com/</a><br>
<br>
Registered in England & Wales, OC335890<br>
27 Old Gloucester Street, London WC1N 3AX, England<br>
<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>