[ghc-steering-committee] #195: Make Q (TExp a) into a newtype, rec: accept

[Vitaly Bragilevsky]

Hi,

This proposal is being revised by the author due to an interaction with
other proposals on TH. I've changed the label at Github to "Needs revision".

Regards,
Vitaly



On Fri, Mar 8, 2019 at 9:40 AM Vitaly Bragilevsky <bravit111 at gmail.com>
wrote:

> Hi everyone,
>
> Matthew Pickering proposed to make Q (TExp a) into a newtype called Code.
> Proposal #195:
> https://github.com/ghc-proposals/ghc-proposals/blob/22e97d7693edb0b3676c948a123e57ea93c462e3/proposals/0000-code-texp.rst
> Pull request discussion:
> https://github.com/ghc-proposals/ghc-proposals/pull/195
>
> It looks like the motivation behind this proposal boils down to the
> convenience of writing instances which seems a good thing. The minor
> problem I see is the proposed name "Code" as it looks a little bit too
> abstract for Typed Template Haskell expressions. Nevertheless, I recommend
> to accept the proposal as it is. Silence is understood as agreement.
>
> Regards,
> Vitaly
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20190315/6a17ade7/attachment.html>