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

[Simon Peyton Jones]

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://github.com/mpickering/ghc-proposals/blob/overloaded-proposal/proposals/0000-overloaded-bracket.rst>.  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://github.com/ghc-proposals/ghc-proposals/pull/195> 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>
Sent: 04 December 2019 13:58
To: ghc-proposals/ghc-proposals <ghc-proposals at noreply.github.com>
Cc: Simon Peyton Jones <simonpj at microsoft.com>; Mention <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%7C6cfb80518ac74d06153508d778c1f133%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637110646683835630&sdata=tCNZ5ALBG81l%2FJGwoX9p6jBLIPZqKJCjPNyrlG89Bh4%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%7C6cfb80518ac74d06153508d778c1f133%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637110646683835630&sdata=EFWou3zjc86I%2BW8HPXHIkzqnHpfNsApjNvMqKV2yZ0M%3D&reserved=0>.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20191204/081f8894/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: RE_ _ghc-steering-committee_ Please review #246_ Overloaded Quotations__Shepherd_ Simon PJ.msg
Type: application/octet-stream
Size: 181248 bytes
Desc: RE_ _ghc-steering-committee_ Please review #246_ Overloaded Quotations__Shepherd_ Simon PJ.msg
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20191204/081f8894/attachment-0001.obj>