<div dir="ltr">I'm strongly in support.<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Nov 18, 2019 at 1:21 AM Eric Seidel <<a href="mailto:eric@seidel.io">eric@seidel.io</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">I found both parts of the motivation compelling. I'm in support.<br>
<br>
On Sat, Nov 16, 2019, at 06:35, Joachim Breitner wrote:<br>
> Hi,<br>
> <br>
> never having done much with TH, I usually refrain from commenting on<br>
> TH-related proposals. But I found the motivation of the proposal, and<br>
> the solution when viewed from a certain altitude, convincing.<br>
> <br>
> I’ll comment there with a quick question why the alternative is bad.<br>
> <br>
> Cheers,<br>
> Joachim<br>
> <br>
> <br>
> Am Samstag, den 16.11.2019, 10:26 +0000 schrieb Simon Peyton Jones via<br>
> ghc-steering-committee:<br>
> > Dear Committee<br>
> > <br>
> > For this proposal:<br>
> > <br>
> > Overloaded Quotations<br>
> > has been proposed by Matthew Pickering<br>
> > <a href="https://github.com/ghc-proposals/ghc-proposals/pull/246" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/246</a><br>
> > <a href="https://github.com/mpickering/ghc-proposals/blob/overloaded-proposal/proposals/0000-overloaded-bracket.rst" rel="noreferrer" target="_blank">https://github.com/mpickering/ghc-proposals/blob/overloaded-proposal/proposals/0000-overloaded-bracket.rst</a><br>
> > <br>
> > I propose that we accept. As you'll see in the discussion thread I have asked Matthew to clarify some issues, but I'd like to get a sense of the committee because I don't want him to invest a lot of effort if it'll be wasted.<br>
> > <br>
> > But I think it all seems like a useful generalisation. It accommodates what we do, and allows us to do more. This will make a modest difference for some, but a very big difference for a few. As far as I can tell, it will -- at worst -- require a bit of API generalisation for some users, but perhaps not many, so it scores well on the back-compat front.<br>
> > <br>
> > Opinions please. I rather dislike "silence as assent" because it allow us to dodge our responsibility to read proposals and form an opinion. So please express an opinion, even if you want to qualify it by saying you are no expert. Please try to do this within a week, and definitely no more than two.<br>
> > <br>
> > It's also fine to point to bits of the proposal that you did not understand or found hard going. The proposal will only become stronger if it is better presented.<br>
> > <br>
> > Add technical questions on the Github thread, and evaluative judgements here on the mailing list.<br>
> > <br>
> > Thanks<br>
> > <br>
> > Simon<br>
> > <br>
> > <br>
> > > -----Original Message-----<br>
> > > From: ghc-steering-committee <<a href="mailto:ghc-steering-committee-bounces@haskell.org" target="_blank">ghc-steering-committee-bounces@haskell.org</a>><br>
> > > On Behalf Of Joachim Breitner<br>
> > > Sent: 14 November 2019 13:50<br>
> > > To: <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> > > Subject: [ghc-steering-committee] Please review #246: Overloaded<br>
> > > Quotations, Shepherd: Simon PJ<br>
> > > <br>
> > > Dear Committee,<br>
> > > <br>
> > > this is your secretary speaking:<br>
> > > <br>
> > > Overloaded Quotations<br>
> > > has been proposed by Matthew Pickering<br>
> > > <a href="https://github.com/ghc-proposals/ghc-proposals/pull/246" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/246</a><br>
> > > <a href="https://github.com/mpickering/ghc-proposals/blob/overloaded-" rel="noreferrer" target="_blank">https://github.com/mpickering/ghc-proposals/blob/overloaded-</a><br>
> > > proposal/proposals/0000-overloaded-bracket.rst<br>
> > > <br>
> > > I propose Simon PJ as the shepherd, as it seems he already had some in<br>
> > > depth discussion about this proposal.<br>
> > > <br>
> > > Please reach consensus as described 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>
> > > I suggest you make a recommendation, in a new e-mail thread with the<br>
> > > proposal number in the subject, about the decision, maybe point out<br>
> > > debatable points, and assume that anyone who stays quiet agrees with you.<br>
> > > <br>
> > > Thanks,<br>
> > > Joachim<br>
> > > --<br>
> > > Joachim Breitner<br>
> > > <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
> > > <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
> > <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>
> -- <br>
> Joachim Breitner<br>
> <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
> <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
> <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>
><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><br clear="all"><br>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>I'm currently travelling the world, sleeping on people's couches and doing full-time collaboration on Haskell projects. If this seems interesting to you, please consider signing up as a host! <a href="https://isovector.github.io/erdos/" target="_blank">https://isovector.github.io/erdos/</a><br></div></div></div></div></div>