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.  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), 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@github.com>
Sent: 04 December 2019 13:58
To: ghc-proposals/ghc-proposals <ghc-proposals@noreply.github.com>
Cc: Simon Peyton Jones <simonpj@microsoft.com>; Mention <mention@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, or unsubscribe.

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee