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

Yes that was it---I posted on #246 and Matt clarified what the plan was, so I am on board. On Wed, Dec 4, 2019 at 7:39 AM Simon Peyton Jones wrote:

I think you mean

The issue is that `Code a` is not `Applicative`, because we cannot

define `pure` for all Haskell types. I wonder if the full power of

`Applicative` is actually needed to do the translation though? If not, perhaps we should modify `Quote` to reflect the operations that we need.

Is that it? Could you ask on the discussion thread, so that Matthew can respond? I actually don’t quite understand the question.

Simon

From: Iavor Diatchki Sent: 04 December 2019 15:35 To: Simon Peyton Jones Cc: ghc-steering-committee@haskell.org Subject: Re: [ghc-steering-committee] [ghc-proposals/ghc-proposals] Overloaded Quotation Brackets (#246)

Well, my response did have a question in it. Did anyone have any thoughts?

On Wed, Dec 4, 2019 at 7:24 AM Simon Peyton Jones via ghc-steering-committee wrote:

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 Sent: 04 December 2019 13:58 To: ghc-proposals/ghc-proposals Cc: Simon Peyton Jones ; Mention 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