<div><div><span style="color:rgb(49,49,49);font-family:'-apple-system','helvetica neue';font-size:13px;font-style:normal;font-weight:400;letter-spacing:normal;text-indent:0px;text-transform:none;white-space:normal;word-spacing:1px;text-decoration:none;display:inline!important;float:none">Sorry for the late reply. I'm in support!</span></div><br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">/Matti Palli</div></div></div><div><br></div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Aug 15, 2024 at 13:38 Eric Seidel <<a href="mailto:eric@seidel.io">eric@seidel.io</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><div>I am also in favor of the change. </div><br id="m_-4382859101042250557lineBreakAtBeginningOfSignature"><div dir="ltr">Sent from my iPhone</div><div dir="ltr"><br><blockquote type="cite">On Aug 15, 2024, at 02:47, Simon Marlow <<a href="mailto:marlowsd@gmail.com" target="_blank">marlowsd@gmail.com</a>> wrote:<br><br></blockquote></div><blockquote type="cite"><div dir="ltr"></div></blockquote></div><div dir="auto"><blockquote type="cite"><div dir="ltr"><div dir="ltr"><div>Seems like a good change. I'm in favour of acceptance.<br></div><div><br></div><div>Simon<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 13 Aug 2024 at 08:07, Erik de Castro Lopo <<a href="mailto:erikd@mega-nerd.com" target="_blank">erikd@mega-nerd.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi Simon M., Matte Ott, Matthías Páll Gissurarson, Eric Seidel and Adam Gundry,<br>
<br>
We need a decision on:<br>
<br>
   <a href="https://github.com/ghc-proposals/ghc-proposals/pull/652" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/652</a><br>
<br>
Thank you.<br>
<br>
Cheers,<br>
Erik<br>
<br>
Simon Peyton Jones wrote:<br>
<br>
> Erik<br>
> <br>
> Another two weeks has passed.  Can you push the committee towards a<br>
> decision?  As shepherd that is your role.<br>
> <br>
> You may find the spreadsheet<br>
> <<a href="https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5F3nDIWc/edit?usp=sharing" rel="noreferrer" target="_blank">https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5F3nDIWc/edit?usp=sharing</a>>helpful<br>
> to record votes.<br>
> <br>
> If particular committee members are unresponsive, address them by name,<br>
> cc'ing me.<br>
> <br>
> We owe it to our proposers to make decisions.  Thanks!<br>
> <br>
> Simon<br>
> <br>
> On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo <<a href="mailto:erikd@mega-nerd.com" target="_blank">erikd@mega-nerd.com</a>><br>
> wrote:<br>
> Matthías Páll Gissurarson<br>
> > Hi all,<br>
> ><br>
> > This proposal seems totally reasonable. I have marked it as "under review"<br>
> > and added a "Pending committee review" label.<br>
> ><br>
> > Cheers,<br>
> > Erik<br>
> ><br>
> ><br>
> > Simon Peyton Jones wrote:<br>
> ><br>
> > > Erik,<br>
> > ><br>
> > > Adam assigned this to you on 26 June, and usually we'd expect a<br>
> > > recommendation from the shepherd within a week, or two at most.  But I<br>
> > > don't think we've heard from you.<br>
> > ><br>
> > > Could you drive us towards a timely conclusion?  I don't this this is a<br>
> > > controversial one.<br>
> > ><br>
> > > Thanks!<br>
> > ><br>
> > > Simon<br>
> > ><br>
> > > On Wed, 26 Jun 2024 at 20:50, Adam Gundry <<a href="mailto:adam@well-typed.com" target="_blank">adam@well-typed.com</a>> wrote:<br>
> > ><br>
> > > > Dear Committee,<br>
> > > ><br>
> > > > Gergő Érdi proposes to allow local binders to shadow names defined in<br>
> > > > outer scopes:<br>
> > > ><br>
> > > > <a href="https://github.com/ghc-proposals/ghc-proposals/pull/652" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/652</a><br>
> > > ><br>
> > > ><br>
> > <a href="https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposals/0000-import-shadowing.rst" rel="noreferrer" target="_blank">https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposals/0000-import-shadowing.rst</a><br>
> > > ><br>
> > > > I'd like to nominate Erik de Castro Lopo as the shepherd.<br>
> > > ><br>
> > > > Please guide us to a conclusion as outlined in<br>
> > > > <a href="https://github.com/ghc-proposals/ghc-proposals#committee-process" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals#committee-process</a><br>
> > > ><br>
> > > > Cheers,<br>
> > > ><br>
> > > > Adam<br>
> > > ><br>
> > > ><br>
> > > > --<br>
> > > > Adam Gundry, Haskell Consultant<br>
> > > > Well-Typed LLP, <a href="https://www.well-typed.com/" rel="noreferrer" target="_blank">https://www.well-typed.com/</a><br>
> > > ><br>
> > > > Registered in England & Wales, OC335890<br>
> > > > <a href="https://www.google.com/maps/search/27+Old+Gloucester+Street,+London+WC1N+3AX,+England?entry=gmail&source=g">27 Old Gloucester Street, London WC1N 3AX, England</a><br>
> > > > _______________________________________________<br>
> > > > ghc-steering-committee mailing list<br>
> > > > <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> > > ><br>
> > <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
> > > ><br>
> ><br>
> ><br>
> > --<br>
> > ----------------------------------------------------------------------<br>
> > Erik de Castro Lopo<br>
> > <a href="http://www.mega-nerd.com/" rel="noreferrer" target="_blank">http://www.mega-nerd.com/</a><br>
> ><br>
<br>
<br>
-- <br>
----------------------------------------------------------------------<br>
Erik de Castro Lopo<br>
<a href="http://www.mega-nerd.com/" rel="noreferrer" target="_blank">http://www.mega-nerd.com/</a><br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>
<span>_______________________________________________</span><br><span>ghc-steering-committee mailing list</span><br><span><a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a></span><br><span><a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a></span><br></div></blockquote></div>_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div></div>