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 <iavor.diatchki@gmail.com>
Sent: 04 December 2019 15:35
To: Simon Peyton Jones <simonpj@microsoft.com>
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 <ghc-steering-committee@haskell.org> 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 <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