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

[Iavor Diatchki]

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 <simonpj at microsoft.com> 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 <iavor.diatchki at gmail.com>
> Sent: 04 December 2019 15:35
> To: Simon Peyton Jones <simonpj at microsoft.com>
> Cc: ghc-steering-committee at 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 at 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 at github.com>
> Sent: 04 December 2019 13:58
> To: ghc-proposals/ghc-proposals <ghc-proposals at noreply.github.com>
> Cc: Simon Peyton Jones <simonpj at microsoft.com>; Mention <mention at 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 at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee