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

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/