Named defaults -- attention needed

Simon Peyton Jones

25 Aug 2024 25 Aug '24

12:48 p.m.

Dear GHC Steering Committee Please see 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

Attachments:

attachment.html (text/html — 1.1 KB)

Show replies by date

Adam Gundry

10 Sep 10 Sep

3:19 a.m.

New subject: #672: Amendment to exportable named defaults (#409), recommendation: accept

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

Simon Peyton Jones

13 Sep 13 Sep

12:44 p.m.

New subject: #672: Amendment to exportable named defaults (#409), recommendation: accept

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

Matthías Páll Gissurarson

1:28 p.m.

New subject: #672: Amendment to exportable named defaults (#409), recommendation: accept

I'm in support. On Fri, 13 Sept 2024 at 18:44, Simon Peyton Jones < simon.peytonjones@gmail.com> 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/

Jakob Brünker

14 Sep 14 Sep

9:18 a.m.

New subject: #672: Amendment to exportable named defaults (#409), recommendation: accept

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 < simon.peytonjones@gmail.com> 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

Eric Seidel

15 Sep 15 Sep

5:45 p.m.

New subject: #672: Amendment to exportable named defaults (#409), recommendation: accept

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

Erik de Castro Lopo

16 Sep 16 Sep

4:15 a.m.

New subject: #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/

Sebastian Graf

4:19 a.m.

New subject: #672: Amendment to exportable named defaults (#409), recommendation: accept

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

Eric Seidel

7:59 a.m.

New subject: #672: Amendment to exportable named defaults (#409), recommendation: accept

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

246

Age (days ago)

268

Last active (days ago)

List overview

Download

8 comments

7 participants

participants (7)

Adam Gundry
Eric Seidel
Erik de Castro Lopo
Jakob Brünker
Matthías Páll Gissurarson
Sebastian Graf
Simon Peyton Jones

Named defaults -- attention needed

tags

participants (7)