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

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