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

[Arnaud Spiwack]

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 at 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 at 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 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/
>>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240812/e4644b4e/attachment.html>