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

Erik de Castro Lopo erikd at mega-nerd.com
Tue Aug 13 07:07:37 UTC 2024


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-b18MDkpTfH3SMHhFu5F3nDIWc/edit?usp=sharing>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 <erikd at mega-nerd.com>
> 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 <adam at well-typed.com> 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/proposals/0000-import-shadowing.rst
> > > >
> > > > 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 at 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/


More information about the ghc-steering-committee mailing list