ghc-steering-committee

Download

ghc-steering-committee@haskell.org

December 2019

11 participants
11 discussions

Re: [ghc-steering-committee] [ghc-proposals/ghc-proposals] Overloaded Quotation Brackets (#246)
by Simon Peyton Jones 06 Dec '19

06 Dec '19

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/propos…>. 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(a)github.com> Sent: 04 December 2019 13:58 To: ghc-proposals/ghc-proposals <ghc-proposals(a)noreply.github.com> Cc: Simon Peyton Jones <simonpj(a)microsoft.com>; Mention <mention(a)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.co…>, or unsubscribe<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.co…>.

2 4