For the record, I've read this proposal and am in favour. Not strongly, but it feels like the proposed behaviour is a small improvement over the current one (it's not infrequent that we define a name locally, not realising that it exists in some of the imports, and find that we have to go add `hiding` clauses and whatnots, shadowing in this case feels like a better default).

On Fri, 26 Jul 2024 at 09:19, Simon Peyton Jones <simon.peytonjones@gmail.com> wrote:

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/proposals/0000-import-shadowing.rst

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 <erikd@mega-nerd.com> 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 <adam@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@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

--

Arnaud Spiwack
Director, Research at https://moduscreate.com and https://tweag.io.

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee