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

[Sebastian Graf]

I expressed that I'm in support.
Like Adam, I think this could be a big deal in terms of forward compat if
we subsequently add -XImportShadowing to the set of GHC's default
extensions (perhaps even in Haskell2010).
(That is: I would be in favour of such a subsequent proposal as well.)

Am Mo., 12. Aug. 2024 um 09:31 Uhr schrieb Arnaud Spiwack <
arnaud.spiwack at tweag.io>:

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