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 Quotationshttps://github.com/mpickering/ghc-proposals/blob/overloaded-proposal/proposa.... 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