[ghc-steering-committee] [ghc-proposals/ghc-proposals] Overloaded Quotation Brackets (#246)

[Simon Peyton Jones]

Nothing from Vitaly B or Chris A.

I declare the proposal accepted.  Joachim, can you merge please?

Simon

From: Simon Peyton Jones <simonpj at microsoft.com>
Sent: 04 December 2019 15:24
To: ghc-steering-committee at haskell.org
Cc: Simon Peyton Jones <simonpj at microsoft.com>
Subject: RE: [ghc-proposals/ghc-proposals] Overloaded Quotation Brackets (#246)

Dear Steering Committee

I have completed the revisions and wish to resubmit the proposal to the committee. The implementation is also finished an ready for review.
Matthew has revised his proposal #246 Overloaded Quotations<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fmpickering%2Fghc-proposals%2Fblob%2Foverloaded-proposal%2Fproposals%2F0000-overloaded-bracket.rst&data=02%7C01%7Csimonpj%40microsoft.com%7C7a0ac32c2fcc4d92ea5508d778ce051a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637110699587244274&sdata=I0tNA6zLF%2BuduEvm1T0kXcCGDtgEx7h1wa0xgGeHyRQ%3D&reserved=0>.  One particular point is that it does explicitly apply to Typed Template Haskell, not just untyped (see "Proposed changes" item 6).

Moreover he has an implementation here: https://gitlab.haskell.org/ghc/ghc/merge_requests/2247

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)  #195 (make Q (TExp a) into a newtype),<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F195&data=02%7C01%7Csimonpj%40microsoft.com%7C7a0ac32c2fcc4d92ea5508d778ce051a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637110699587254268&sdata=EflG3cXQIdtlQlKln%2F3PEeK1T%2FRXq%2Fif7%2FIS3csirg4%3D&reserved=0> which we are set to accept too, once the proposal is revised.  Iavor: you are the shepherd for that.

I've had support for acceptance from

  *   Joachim
  *   Eric
  *   Sandy
  *   Simon M
  *   Richard
  *   Arnaud
  *   Iavor

I would love to hear from

  *   Chris A
  *   Vitaly B

Others: reply only if you have any comments on the revised proposal.  I'll accept this at the end of the week.

Simon


From: Matthew Pickering <notifications at github.com<mailto:notifications at github.com>>
Sent: 04 December 2019 13:58
To: ghc-proposals/ghc-proposals <ghc-proposals at noreply.github.com<mailto:ghc-proposals at noreply.github.com>>
Cc: Simon Peyton Jones <simonpj at microsoft.com<mailto:simonpj at microsoft.com>>; Mention <mention at noreply.github.com<mailto:mention at noreply.github.com>>
Subject: Re: [ghc-proposals/ghc-proposals] Overloaded Quotation Brackets (#246)


I have completed the revisions and wish to resubmit the proposal to the committee. The implementation is also finished an ready for review.

-
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub<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%7C7a0ac32c2fcc4d92ea5508d778ce051a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637110699587254268&sdata=oWMOjzrjbFa2xG578L%2B3gcqsByM8qXvahpRtlcv3lVk%3D&reserved=0>, or unsubscribe<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fnotifications%2Funsubscribe-auth%2FAAEOY62KELEHCDTSD4HEI73QW6ZNTANCNFSM4H5HNWRQ&data=02%7C01%7Csimonpj%40microsoft.com%7C7a0ac32c2fcc4d92ea5508d778ce051a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637110699587264269&sdata=wXEhToKPA2luvTRw1DY3iPHxernEToQQrt4G3SVchZI%3D&reserved=0>.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20191206/a3f6356f/attachment-0001.html>