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
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/22e97d7693edb0b3676c948a... 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