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

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