Re: [ghc-steering-committee] Please review #652: Import shadowing

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.