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

Matthías Páll Gissurarson mpg at mpg.is
Thu Aug 15 12:02:36 UTC 2024


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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240815/eefe17fc/attachment.html>


More information about the ghc-steering-committee mailing list