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

16 Sep 2024


      The acting shepherd will often assume that silence is assent in order to keep things moving (within reason). But as a rule we prefer to have the committee explicitly voice support. 

Sent from my iPhone
...
On Sep 16, 2024, at 03:20, Sebastian Graf  wrote:
Just for the record: I'm in support as well.
However, I was thinking that the following request
...
Please object within a week if you think we should reconsider.
meant that I should only write if I was *not* in support.
Or does this sentence mean "please state acceptance regardless, so that maybe we can accept in less than a week"?
Cheers,
Sebastian
------ Originalnachricht ------
Von "Erik de Castro Lopo" 
An ghc-steering-committee@haskell.org
Datum 16.09.2024 10:15:15
Betreff Re: [ghc-steering-committee] #672: Amendment to exportable named defaults (#409), recommendation: accept
...
I already supported this on the GH issue. Here it is in email as well.
Erik
Eric Seidel wrote:
...
I support the amendment as well.
...
On Sat, Sep 14, 2024, at 08:18, Jakob Brünker wrote:
I'm in support
Jakob
On Fri, Sep 13, 2024 at 7:30 PM Matthías Páll Gissurarson  wrote:
...
I'm in support.
On Fri, 13 Sept 2024 at 18:44, Simon Peyton Jones  wrote:
...
I'm in support.
Simon
On Tue, 10 Sept 2024 at 08:20, Adam Gundry  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...
>
> 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-2308980...,
> 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
_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
--
--  Matthías Páll Gissurarson http://mpg.is/
_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
--
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/
_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee