Please review #652: Import shadowing

newer
Named defaults -- attention needed

Adam Gundry

26 Jun 2024 26 Jun '24

3:50 p.m.

Dear Committee, Gergő Érdi proposes to allow local binders to shadow names defined in outer scopes: https://github.com/ghc-proposals/ghc-proposals/pull/652 https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal... I'd like to nominate Erik de Castro Lopo as the shepherd. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Cheers, Adam -- 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

Show replies by date

Erik, Adam assigned this to you on 26 June, and usually we'd expect a recommendation from the shepherd within a week, or two at most. But I don't think we've heard from you. Could you drive us towards a timely conclusion? I don't this this is a controversial one. Thanks! Simon On Wed, 26 Jun 2024 at 20:50, Adam Gundry wrote:

...

Dear Committee,

Gergő Érdi proposes to allow local binders to shadow names defined in outer scopes:

https://github.com/ghc-proposals/ghc-proposals/pull/652

https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal...

I'd like to nominate Erik de Castro Lopo as the shepherd.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam

-- 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

Erik de Castro Lopo

5:23 a.m.

Looking now. Not sure how I missed this. Thanks, Erik Simon Peyton Jones wrote:

...

Erik,

Adam assigned this to you on 26 June, and usually we'd expect a recommendation from the shepherd within a week, or two at most. But I don't think we've heard from you.

Could you drive us towards a timely conclusion? I don't this this is a controversial one.

Thanks!

Simon

On Wed, 26 Jun 2024 at 20:50, Adam Gundry wrote:

...
Dear Committee,

Gergő Érdi proposes to allow local binders to shadow names defined in outer scopes:

https://github.com/ghc-proposals/ghc-proposals/pull/652

https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal...

I'd like to nominate Erik de Castro Lopo as the shepherd.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam

-- 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

-- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/

Erik de Castro Lopo

11:15 p.m.

Hi all, This proposal seems totally reasonable. I have marked it as "under review" and added a "Pending committee review" label. Cheers, Erik Simon Peyton Jones wrote:

...

Erik,

Adam assigned this to you on 26 June, and usually we'd expect a recommendation from the shepherd within a week, or two at most. But I don't think we've heard from you.

Could you drive us towards a timely conclusion? I don't this this is a controversial one.

Thanks!

Simon

On Wed, 26 Jun 2024 at 20:50, Adam Gundry wrote:

...
Dear Committee,

Gergő Érdi proposes to allow local binders to shadow names defined in outer scopes:

https://github.com/ghc-proposals/ghc-proposals/pull/652

https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal...

I'd like to nominate Erik de Castro Lopo as the shepherd.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam

-- 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

-- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/

Simon Peyton Jones

26 Jul 26 Jul

3:18 a.m.

This proposal seems totally reasonable. I In a blizzard of email, we may not all remember that you are the shepherd. It's helpful to say something like Dear GHC Steering Committee I am the shepherd for https://github.com/ghc-proposals/ghc-proposals/pull/652 https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal... In it, Gergo proposes to allow local binders to shadow names defined in outer scopes. [In a more complicated proposal you might like to say a bit more, and why you like it; but this one is fairly simple.] I recommend acceptance of the proposal as-is. Please respond by Weds 7th August. This reminds us (a) that you are speaking as the shepherd, (b) gives us a date to respond by, (c) conveys a clear recommendation. (Of course choose your own date.) As shepherd you will remind us near your deadline, and guide us to a conclusion. All of this is general guidance for all shepherds! I'm just using you as an example .. I hope you don't mind. thanks Simon On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo wrote:

...

Hi all,

This proposal seems totally reasonable. I have marked it as "under review" and added a "Pending committee review" label.

Cheers, Erik

Simon Peyton Jones wrote:

...
Erik,

Adam assigned this to you on 26 June, and usually we'd expect a recommendation from the shepherd within a week, or two at most. But I don't think we've heard from you.

Could you drive us towards a timely conclusion? I don't this this is a controversial one.

Thanks!

Simon

On Wed, 26 Jun 2024 at 20:50, Adam Gundry wrote:

...
Dear Committee,

Gergő Érdi proposes to allow local binders to shadow names defined in outer scopes:

https://github.com/ghc-proposals/ghc-proposals/pull/652

https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal...

...
I'd like to nominate Erik de Castro Lopo as the shepherd.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam

-- 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

...
-- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/

Arnaud Spiwack

12 Aug 12 Aug

3:30 a.m.

For the record, I've read this proposal and am in favour. Not strongly, but it feels like the proposed behaviour is a small improvement over the current one (it's not infrequent that we define a name locally, not realising that it exists in some of the imports, and find that we have to go add `hiding` clauses and whatnots, shadowing in this case feels like a better default). On Fri, 26 Jul 2024 at 09:19, Simon Peyton Jones < simon.peytonjones@gmail.com> wrote:

...

This proposal seems totally reasonable. I

In a blizzard of email, we may not all remember that you are the shepherd. It's helpful to say something like

Dear GHC Steering Committee

I am the shepherd for https://github.com/ghc-proposals/ghc-proposals/pull/652

https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal...

In it, Gergo proposes to allow local binders to shadow names defined in outer scopes. [In a more complicated proposal you might like to say a bit more, and why you like it; but this one is fairly simple.]

I recommend acceptance of the proposal as-is. Please respond by Weds 7th August.

This reminds us (a) that you are speaking as the shepherd, (b) gives us a date to respond by, (c) conveys a clear recommendation. (Of course choose your own date.)

As shepherd you will remind us near your deadline, and guide us to a conclusion.

All of this is general guidance for all shepherds! I'm just using you as an example .. I hope you don't mind.

thanks

Simon

On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo wrote:

...
Hi all,

This proposal seems totally reasonable. I have marked it as "under review" and added a "Pending committee review" label.

Cheers, Erik

Simon Peyton Jones wrote:

...
Erik,

Adam assigned this to you on 26 June, and usually we'd expect a recommendation from the shepherd within a week, or two at most. But I don't think we've heard from you.

Could you drive us towards a timely conclusion? I don't this this is a controversial one.

Thanks!

Simon

On Wed, 26 Jun 2024 at 20:50, Adam Gundry wrote:

...
Dear Committee,

Gergő Érdi proposes to allow local binders to shadow names defined in outer scopes:

https://github.com/ghc-proposals/ghc-proposals/pull/652

https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal...

...
I'd like to nominate Erik de Castro Lopo as the shepherd.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam

-- 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

...
-- ---------------------------------------------------------------------- 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

-- Arnaud Spiwack Director, Research at https://moduscreate.com and https://tweag.io.

Sebastian Graf

4:24 a.m.

I expressed that I'm in support. Like Adam, I think this could be a big deal in terms of forward compat if we subsequently add -XImportShadowing to the set of GHC's default extensions (perhaps even in Haskell2010). (That is: I would be in favour of such a subsequent proposal as well.) Am Mo., 12. Aug. 2024 um 09:31 Uhr schrieb Arnaud Spiwack < arnaud.spiwack@tweag.io>:

...

For the record, I've read this proposal and am in favour. Not strongly, but it feels like the proposed behaviour is a small improvement over the current one (it's not infrequent that we define a name locally, not realising that it exists in some of the imports, and find that we have to go add `hiding` clauses and whatnots, shadowing in this case feels like a better default).

On Fri, 26 Jul 2024 at 09:19, Simon Peyton Jones < simon.peytonjones@gmail.com> wrote:

...
This proposal seems totally reasonable. I

In a blizzard of email, we may not all remember that you are the shepherd. It's helpful to say something like

Dear GHC Steering Committee

I am the shepherd for https://github.com/ghc-proposals/ghc-proposals/pull/652

https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal...

In it, Gergo proposes to allow local binders to shadow names defined in outer scopes. [In a more complicated proposal you might like to say a bit more, and why you like it; but this one is fairly simple.]

I recommend acceptance of the proposal as-is. Please respond by Weds 7th August.

This reminds us (a) that you are speaking as the shepherd, (b) gives us a date to respond by, (c) conveys a clear recommendation. (Of course choose your own date.)

As shepherd you will remind us near your deadline, and guide us to a conclusion.

All of this is general guidance for all shepherds! I'm just using you as an example .. I hope you don't mind.

thanks

Simon

On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo wrote:

...
Hi all,

This proposal seems totally reasonable. I have marked it as "under review" and added a "Pending committee review" label.

Cheers, Erik

Simon Peyton Jones wrote:

...
Erik,

Adam assigned this to you on 26 June, and usually we'd expect a recommendation from the shepherd within a week, or two at most. But I don't think we've heard from you.

Could you drive us towards a timely conclusion? I don't this this is a controversial one.

Thanks!

Simon

On Wed, 26 Jun 2024 at 20:50, Adam Gundry wrote:

...
Dear Committee,

Gergő Érdi proposes to allow local binders to shadow names defined in outer scopes:

https://github.com/ghc-proposals/ghc-proposals/pull/652

https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal...

...
I'd like to nominate Erik de Castro Lopo as the shepherd.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam

-- 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

...
-- ---------------------------------------------------------------------- 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

-- Arnaud Spiwack Director, Research at https://moduscreate.com and https://tweag.io. _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

Simon Peyton Jones

7:15 a.m.

Erik Another two weeks has passed. Can you push the committee towards a decision? As shepherd that is your role. You may find the spreadsheet https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5...helpful to record votes. If particular committee members are unresponsive, address them by name, cc'ing me. We owe it to our proposers to make decisions. Thanks! Simon On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo wrote:

...

Hi all,

This proposal seems totally reasonable. I have marked it as "under review" and added a "Pending committee review" label.

Cheers, Erik

Simon Peyton Jones wrote:

...
Erik,

Adam assigned this to you on 26 June, and usually we'd expect a recommendation from the shepherd within a week, or two at most. But I don't think we've heard from you.

Could you drive us towards a timely conclusion? I don't this this is a controversial one.

Thanks!

Simon

On Wed, 26 Jun 2024 at 20:50, Adam Gundry wrote:

...
Dear Committee,

Gergő Érdi proposes to allow local binders to shadow names defined in outer scopes:

https://github.com/ghc-proposals/ghc-proposals/pull/652

https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal...

...
I'd like to nominate Erik de Castro Lopo as the shepherd.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam

-- 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

...
-- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/

Jakob Brünker

11:42 a.m.

I'm in support. As I mentioned in the github thread, I'm not a huge fan of (using) shadowing, but I think it makes sense to be consistent about whether we allow it or not, and I can certainly see myself using this for prototyping or small scripts. Jakob On Mon, Aug 12, 2024 at 1:16 PM Simon Peyton Jones < simon.peytonjones@gmail.com> wrote:

...

Erik

Another two weeks has passed. Can you push the committee towards a decision? As shepherd that is your role.

You may find the spreadsheet https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5...helpful to record votes.

If particular committee members are unresponsive, address them by name, cc'ing me.

We owe it to our proposers to make decisions. Thanks!

Simon

On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo wrote:

...
Hi all,

This proposal seems totally reasonable. I have marked it as "under review" and added a "Pending committee review" label.

Cheers, Erik

Simon Peyton Jones wrote:

...
Erik,

Adam assigned this to you on 26 June, and usually we'd expect a recommendation from the shepherd within a week, or two at most. But I don't think we've heard from you.

Could you drive us towards a timely conclusion? I don't this this is a controversial one.

Thanks!

Simon

On Wed, 26 Jun 2024 at 20:50, Adam Gundry wrote:

...
Dear Committee,

Gergő Érdi proposes to allow local binders to shadow names defined in outer scopes:

https://github.com/ghc-proposals/ghc-proposals/pull/652

https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal...

...
I'd like to nominate Erik de Castro Lopo as the shepherd.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam

-- 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

...
-- ---------------------------------------------------------------------- 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

Moritz Angermann

5:01 p.m.

I’m in support as well. On Tue, Aug 13, 2024 at 12:43 AM Jakob Brünker wrote:

...

I'm in support.

As I mentioned in the github thread, I'm not a huge fan of (using) shadowing, but I think it makes sense to be consistent about whether we allow it or not, and I can certainly see myself using this for prototyping or small scripts.

Jakob

On Mon, Aug 12, 2024 at 1:16 PM Simon Peyton Jones < simon.peytonjones@gmail.com> wrote:

...
Erik

Another two weeks has passed. Can you push the committee towards a decision? As shepherd that is your role.

You may find the spreadsheet https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5...helpful to record votes.

If particular committee members are unresponsive, address them by name, cc'ing me.

We owe it to our proposers to make decisions. Thanks!

Simon

On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo wrote:

...
Hi all,

This proposal seems totally reasonable. I have marked it as "under review" and added a "Pending committee review" label.

Cheers, Erik

Simon Peyton Jones wrote:

...
Erik,

Adam assigned this to you on 26 June, and usually we'd expect a recommendation from the shepherd within a week, or two at most. But I don't think we've heard from you.

Could you drive us towards a timely conclusion? I don't this this is a controversial one.

Thanks!

Simon

On Wed, 26 Jun 2024 at 20:50, Adam Gundry wrote:

...
Dear Committee,

Gergő Érdi proposes to allow local binders to shadow names defined in outer scopes:

https://github.com/ghc-proposals/ghc-proposals/pull/652

https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal...

...
I'd like to nominate Erik de Castro Lopo as the shepherd.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam

-- 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

https://www.google.com/maps/search/27+Old+Gloucester+Street,+London+WC1N+3AX,+England?entry=gmail&source=g

...
_______________________________________________ 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

Erik de Castro Lopo

13 Aug 13 Aug

3:07 a.m.

Hi Simon M., Matte Ott, Matthías Páll Gissurarson, Eric Seidel and Adam Gundry, We need a decision on: https://github.com/ghc-proposals/ghc-proposals/pull/652 Thank you. Cheers, Erik Simon Peyton Jones wrote:

...

Erik

Another two weeks has passed. Can you push the committee towards a decision? As shepherd that is your role.

You may find the spreadsheet https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5...helpful to record votes.

If particular committee members are unresponsive, address them by name, cc'ing me.

We owe it to our proposers to make decisions. Thanks!

Simon

On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo wrote: Matthías Páll Gissurarson

...
Hi all,

This proposal seems totally reasonable. I have marked it as "under review" and added a "Pending committee review" label.

Cheers, Erik

Simon Peyton Jones wrote:

...
Erik,

Adam assigned this to you on 26 June, and usually we'd expect a recommendation from the shepherd within a week, or two at most. But I don't think we've heard from you.

Could you drive us towards a timely conclusion? I don't this this is a controversial one.

Thanks!

Simon

On Wed, 26 Jun 2024 at 20:50, Adam Gundry wrote:

...
Dear Committee,

Gergő Érdi proposes to allow local binders to shadow names defined in outer scopes:

https://github.com/ghc-proposals/ghc-proposals/pull/652

https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal...

...
I'd like to nominate Erik de Castro Lopo as the shepherd.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam

-- 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

...
-- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/

-- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/

Adam Gundry

3:14 a.m.

Apologies for the delay in following up. I support the proposal. Cheers, Adam On 13/08/2024 08:07, Erik de Castro Lopo wrote:

...

Hi Simon M., Matte Ott, Matthías Páll Gissurarson, Eric Seidel and Adam Gundry,

We need a decision on:

https://github.com/ghc-proposals/ghc-proposals/pull/652

Thank you.

Cheers, Erik

Simon Peyton Jones wrote:

...
Erik

Another two weeks has passed. Can you push the committee towards a decision? As shepherd that is your role.

You may find the spreadsheet https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5...helpful to record votes.

If particular committee members are unresponsive, address them by name, cc'ing me.

We owe it to our proposers to make decisions. Thanks!

Simon

On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo wrote: Matthías Páll Gissurarson

...
Hi all,

This proposal seems totally reasonable. I have marked it as "under review" and added a "Pending committee review" label.

Cheers, Erik

Simon Peyton Jones wrote:

...
Erik,

Adam assigned this to you on 26 June, and usually we'd expect a recommendation from the shepherd within a week, or two at most. But I don't think we've heard from you.

Could you drive us towards a timely conclusion? I don't this this is a controversial one.

Thanks!

Simon

On Wed, 26 Jun 2024 at 20:50, Adam Gundry wrote:

...
Dear Committee,

Gergő Érdi proposes to allow local binders to shadow names defined in outer scopes:

https://github.com/ghc-proposals/ghc-proposals/pull/652

https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal...

...
I'd like to nominate Erik de Castro Lopo as the shepherd.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam

-- 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

Malte Ott

4:23 p.m.

I am in favor of this proposal and would like to see it in the next language edition. On 2024-08-13 17:07, Erik de Castro Lopo wrote:

...

Hi Simon M., Matte Ott, Matthías Páll Gissurarson, Eric Seidel and Adam Gundry,

We need a decision on:

https://github.com/ghc-proposals/ghc-proposals/pull/652

Thank you.

Cheers, Erik

Simon Peyton Jones wrote:

...
Erik

Another two weeks has passed. Can you push the committee towards a decision? As shepherd that is your role.

You may find the spreadsheet https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5...helpful to record votes.

If particular committee members are unresponsive, address them by name, cc'ing me.

We owe it to our proposers to make decisions. Thanks!

Simon

On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo wrote: Matthías Páll Gissurarson

...
Hi all,

This proposal seems totally reasonable. I have marked it as "under review" and added a "Pending committee review" label.

Cheers, Erik

Simon Peyton Jones wrote:

...
Erik,

Adam assigned this to you on 26 June, and usually we'd expect a recommendation from the shepherd within a week, or two at most. But I don't think we've heard from you.

Could you drive us towards a timely conclusion? I don't this this is a controversial one.

Thanks!

Simon

On Wed, 26 Jun 2024 at 20:50, Adam Gundry wrote:

...
Dear Committee,

Gergő Érdi proposes to allow local binders to shadow names defined in outer scopes:

https://github.com/ghc-proposals/ghc-proposals/pull/652

https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal...

...
I'd like to nominate Erik de Castro Lopo as the shepherd.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam

-- 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

...
-- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/

-- ---------------------------------------------------------------------- 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

Simon Marlow

15 Aug 15 Aug

3:46 a.m.

Seems like a good change. I'm in favour of acceptance. Simon On Tue, 13 Aug 2024 at 08:07, Erik de Castro Lopo wrote:

...

Hi Simon M., Matte Ott, Matthías Páll Gissurarson, Eric Seidel and Adam Gundry,

We need a decision on:

https://github.com/ghc-proposals/ghc-proposals/pull/652

Thank you.

Cheers, Erik

Simon Peyton Jones wrote:

...
Erik

Another two weeks has passed. Can you push the committee towards a decision? As shepherd that is your role.

You may find the spreadsheet < https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5... helpful to record votes.

If particular committee members are unresponsive, address them by name, cc'ing me.

We owe it to our proposers to make decisions. Thanks!

Simon

On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo wrote: Matthías Páll Gissurarson

...
Hi all,

This proposal seems totally reasonable. I have marked it as "under review" and added a "Pending committee review" label.

Cheers, Erik

Simon Peyton Jones wrote:

...
Erik,

Adam assigned this to you on 26 June, and usually we'd expect a recommendation from the shepherd within a week, or two at most. But I don't think we've heard from you.

Could you drive us towards a timely conclusion? I don't this this is a controversial one.

Thanks!

Simon

On Wed, 26 Jun 2024 at 20:50, Adam Gundry wrote:

...
Dear Committee,

Gergő Érdi proposes to allow local binders to shadow names defined in outer scopes:

https://github.com/ghc-proposals/ghc-proposals/pull/652

https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal...

...
...
...
I'd like to nominate Erik de Castro Lopo as the shepherd.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam

-- 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

...
...
...
-- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/

-- ---------------------------------------------------------------------- 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:38 a.m.

Matthías Páll Gissurarson

8:02 a.m.

Sorry for the late reply. I'm in support! /Matti Palli On Thu, Aug 15, 2024 at 13:38 Eric Seidel wrote:

...

I am also in favor of the change.

Sent from my iPhone

On Aug 15, 2024, at 02:47, Simon Marlow wrote:

Seems like a good change. I'm in favour of acceptance.

Simon

On Tue, 13 Aug 2024 at 08:07, Erik de Castro Lopo wrote:

...
Hi Simon M., Matte Ott, Matthías Páll Gissurarson, Eric Seidel and Adam Gundry,

We need a decision on:

https://github.com/ghc-proposals/ghc-proposals/pull/652

Thank you.

Cheers, Erik

Simon Peyton Jones wrote:

...
Erik

Another two weeks has passed. Can you push the committee towards a decision? As shepherd that is your role.

You may find the spreadsheet < https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5... helpful to record votes.

If particular committee members are unresponsive, address them by name, cc'ing me.

We owe it to our proposers to make decisions. Thanks!

Simon

On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo wrote: Matthías Páll Gissurarson

...
Hi all,

This proposal seems totally reasonable. I have marked it as "under review" and added a "Pending committee review" label.

Cheers, Erik

Simon Peyton Jones wrote:

...
Erik,

Adam assigned this to you on 26 June, and usually we'd expect a recommendation from the shepherd within a week, or two at most. But I don't think we've heard from you.

Could you drive us towards a timely conclusion? I don't this this is a controversial one.

Thanks!

Simon

On Wed, 26 Jun 2024 at 20:50, Adam Gundry wrote:

...
Dear Committee,

Gergő Érdi proposes to allow local binders to shadow names defined in outer scopes:

https://github.com/ghc-proposals/ghc-proposals/pull/652

https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal...

...
...
...
I'd like to nominate Erik de Castro Lopo as the shepherd.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam

-- 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

https://www.google.com/maps/search/27+Old+Gloucester+Street,+London+WC1N+3AX,+England?entry=gmail&source=g

...
_______________________________________________ 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/

-- ---------------------------------------------------------------------- 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

_______________________________________________ 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

6:54 p.m.

As the shephard, I have accepted this proposal. Thanks to all. Cheers, Erik Matthías Páll Gissurarson wrote:

...

Sorry for the late reply. I'm in support!

/Matti Palli

On Thu, Aug 15, 2024 at 13:38 Eric Seidel wrote:

...
I am also in favor of the change.

Sent from my iPhone

On Aug 15, 2024, at 02:47, Simon Marlow wrote:

Seems like a good change. I'm in favour of acceptance.

Simon

On Tue, 13 Aug 2024 at 08:07, Erik de Castro Lopo wrote:

...
Hi Simon M., Matte Ott, Matthías Páll Gissurarson, Eric Seidel and Adam Gundry,

We need a decision on:

https://github.com/ghc-proposals/ghc-proposals/pull/652

Thank you.

Cheers, Erik

Simon Peyton Jones wrote:

...
Erik

Another two weeks has passed. Can you push the committee towards a decision? As shepherd that is your role.

You may find the spreadsheet < https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5... helpful to record votes.

If particular committee members are unresponsive, address them by name, cc'ing me.

We owe it to our proposers to make decisions. Thanks!

Simon

On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo wrote: Matthías Páll Gissurarson

...
Hi all,

This proposal seems totally reasonable. I have marked it as "under review" and added a "Pending committee review" label.

Cheers, Erik

Simon Peyton Jones wrote:

...
Erik,

Adam assigned this to you on 26 June, and usually we'd expect a recommendation from the shepherd within a week, or two at most. But I don't think we've heard from you.

Could you drive us towards a timely conclusion? I don't this this is a controversial one.

Thanks!

Simon

On Wed, 26 Jun 2024 at 20:50, Adam Gundry wrote:

> Dear Committee, > > Gergő Érdi proposes to allow local binders to shadow names defined in > outer scopes: > > https://github.com/ghc-proposals/ghc-proposals/pull/652 > >

https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposal...

...
...
> > I'd like to nominate Erik de Castro Lopo as the shepherd. > > Please guide us to a conclusion as outlined in > https://github.com/ghc-proposals/ghc-proposals#committee-process > > Cheers, > > Adam > > > -- > 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 https://www.google.com/maps/search/27+Old+Gloucester+Street,+London+WC1N+3AX,+England?entry=gmail&source=g > _______________________________________________ > 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/

-- ---------------------------------------------------------------------- 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

_______________________________________________ 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/

278

Age (days ago)

328

Last active (days ago)

List overview

Download

16 comments

11 participants

participants (11)

Adam Gundry
Arnaud Spiwack
Eric Seidel
Erik de Castro Lopo
Jakob Brünker
Malte Ott
Matthías Páll Gissurarson
Moritz Angermann
Sebastian Graf
Simon Marlow
Simon Peyton Jones

Please review #652: Import shadowing

tags

participants (11)