[ghc-steering-committee] Please review #652: Import shadowing
Adam Gundry
adam at well-typed.com
Tue Aug 13 07:14:00 UTC 2024
Apologies for the delay in following up. I support the proposal.
Cheers,
Adam
On 13/08/2024 08:07, Erik de Castro Lopo 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
More information about the ghc-steering-committee
mailing list