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

[Erik de Castro Lopo]

As the shephard, I have accepted this proposal.

Thanks to all.

Cheers,
Erik

Matthías Páll Gissurarson wrote:

> Sorry for the late reply. I'm in support!
> 
> /Matti Palli
> 
> 
> On Thu, Aug 15, 2024 at 13:38 Eric Seidel <eric at seidel.io> wrote:
> 
> > I am also in favor of the change.
> >
> > Sent from my iPhone
> >
> > On Aug 15, 2024, at 02:47, Simon Marlow <marlowsd at gmail.com> wrote:
> >
> > 
> >
> > Seems like a good change. I'm in favour of acceptance.
> >
> > Simon
> >
> > On Tue, 13 Aug 2024 at 08:07, Erik de Castro Lopo <erikd at mega-nerd.com>
> > 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-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
> >> <https://www.google.com/maps/search/27+Old+Gloucester+Street,+London+WC1N+3AX,+England?entry=gmail&source=g>
> >> > > > > _______________________________________________
> >> > > > > 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/
> >> _______________________________________________
> >> ghc-steering-committee mailing list
> >> ghc-steering-committee at haskell.org
> >> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> >>
> > _______________________________________________
> > ghc-steering-committee mailing list
> > ghc-steering-committee at haskell.org
> > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> >
> > _______________________________________________
> > 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/