<div dir="ltr">Well, my response did have a question in it. Did anyone have any thoughts?</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Dec 4, 2019 at 7:24 AM Simon Peyton Jones via ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@haskell.org</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">
<div lang="EN-GB">
<div class="gmail-m_-1779984393819325592WordSection1">
<p class="MsoNormal"><span>Dear Steering Committee<u></u><u></u></span></p>
<p style="margin-left:36pt">I have completed the revisions and wish to resubmit the proposal to the committee. The implementation is also finished an ready for review.<u></u><u></u></p>
<p class="MsoNormal"><span>Matthew has revised his proposal #246
<a href="https://github.com/mpickering/ghc-proposals/blob/overloaded-proposal/proposals/0000-overloaded-bracket.rst" target="_blank">
Overloaded Quotations</a>. One particular point is that it does explicitly apply to Typed Template Haskell, not just untyped (see “Proposed changes” item 6).<u></u><u></u></span></p>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<p class="MsoNormal"><span>Moreover he has an implementation here: <a href="https://gitlab.haskell.org/ghc/ghc/merge_requests/2247" target="_blank">https://gitlab.haskell.org/ghc/ghc/merge_requests/2247</a><u></u><u></u></span></p>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<p class="MsoNormal"><span>I recommended back in Nov that we accept (see attached email), but I asked him to make some revisions (as you can see in the discussion thread). All of this connects to (and I believe is compatible
with) <a href="https://github.com/ghc-proposals/ghc-proposals/pull/195" target="_blank">#195 (make Q (TExp a) into a newtype),</a> which we are set to accept too, once the proposal is revised. Iavor: you are the shepherd for that.<u></u><u></u></span></p>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<p class="MsoNormal"><span>I’ve had support for acceptance from<u></u><u></u></span></p>
<ul style="margin-top:0cm" type="disc">
<li class="gmail-m_-1779984393819325592MsoListParagraph" style="margin-left:0cm"><span>Joachim<u></u><u></u></span></li><li class="gmail-m_-1779984393819325592MsoListParagraph" style="margin-left:0cm"><span>Eric<u></u><u></u></span></li><li class="gmail-m_-1779984393819325592MsoListParagraph" style="margin-left:0cm"><span>Sandy<u></u><u></u></span></li><li class="gmail-m_-1779984393819325592MsoListParagraph" style="margin-left:0cm"><span>Simon M<u></u><u></u></span></li><li class="gmail-m_-1779984393819325592MsoListParagraph" style="margin-left:0cm"><span>Richard<u></u><u></u></span></li><li class="gmail-m_-1779984393819325592MsoListParagraph" style="margin-left:0cm"><span>Arnaud<u></u><u></u></span></li><li class="gmail-m_-1779984393819325592MsoListParagraph" style="margin-left:0cm"><span>Iavor<u></u><u></u></span></li></ul>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<p class="MsoNormal"><span>I would love to hear from<u></u><u></u></span></p>
<ul style="margin-top:0cm" type="disc">
<li class="gmail-m_-1779984393819325592MsoListParagraph" style="margin-left:0cm"><span>Chris A<u></u><u></u></span></li><li class="gmail-m_-1779984393819325592MsoListParagraph" style="margin-left:0cm"><span>Vitaly B<u></u><u></u></span></li></ul>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<p class="MsoNormal"><span>Others: reply only if you have any comments on the revised proposal. I’ll accept this at the end of the week.<u></u><u></u></span></p>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<p class="MsoNormal"><span>Simon<u></u><u></u></span></p>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<p class="MsoNormal"><span><u></u> <u></u></span></p>
<div style="border-top:none;border-right:none;border-bottom:none;border-left:1.5pt solid blue;padding:0cm 0cm 0cm 4pt">
<div>
<div style="border-right:none;border-bottom:none;border-left:none;border-top:1pt solid rgb(225,225,225);padding:3pt 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US">From:</span></b><span lang="EN-US"> Matthew Pickering <<a href="mailto:notifications@github.com" target="_blank">notifications@github.com</a>>
<br>
<b>Sent:</b> 04 December 2019 13:58<br>
<b>To:</b> ghc-proposals/ghc-proposals <<a href="mailto:ghc-proposals@noreply.github.com" target="_blank">ghc-proposals@noreply.github.com</a>><br>
<b>Cc:</b> Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>>; Mention <<a href="mailto:mention@noreply.github.com" target="_blank">mention@noreply.github.com</a>><br>
<b>Subject:</b> Re: [ghc-proposals/ghc-proposals] Overloaded Quotation Brackets (#246)<u></u><u></u></span></p>
</div>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
<p>I have completed the revisions and wish to resubmit the proposal to the committee. The implementation is also finished an ready for review.<u></u><u></u></p>
<p><span style="font-size:12pt;color:rgb(102,102,102)">—<br>
You are receiving this because you were mentioned.<br>
Reply to this email directly, <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F246%3Femail_source%3Dnotifications%26email_token%3DAAEOY636NCRXHIEMMDRTHBTQW6ZNTA5CNFSM4H5HNWR2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEF5DHLQ%23issuecomment-561656750&data=02%7C01%7Csimonpj%40microsoft.com%7C6cfb80518ac74d06153508d778c1f133%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637110646683835630&sdata=tCNZ5ALBG81l%2FJGwoX9p6jBLIPZqKJCjPNyrlG89Bh4%3D&reserved=0" target="_blank">
view it on GitHub</a>, or <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fnotifications%2Funsubscribe-auth%2FAAEOY62KELEHCDTSD4HEI73QW6ZNTANCNFSM4H5HNWRQ&data=02%7C01%7Csimonpj%40microsoft.com%7C6cfb80518ac74d06153508d778c1f133%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637110646683835630&sdata=EFWou3zjc86I%2BW8HPXHIkzqnHpfNsApjNvMqKV2yZ0M%3D&reserved=0" target="_blank">
unsubscribe</a>.</span><span style="font-size:12pt;color:rgb(102,102,102)"><img border="0" width="1" height="1" style="width: 0.0083in; height: 0.0083in;" id="gmail-m_-1779984393819325592_x0000_i1025"></span><span style="font-size:12pt;color:rgb(102,102,102)"><u></u><u></u></span></p>
</div>
</div>
</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>