Hello, I am the shepherd for #195, about a small change to TH, to wrap `Q (TExp a)` into a newtype. This would be quite handy for a variety of reasons described in the proposal and the comments on the proposal thread: https://github.com/ghc-proposals/ghc-proposals/pull/195 During the last discussion we requested the proposal to be modified to clarify some points. Matt has done that, so it is time for another review. The previous discussion thread is here: https://mail.haskell.org/pipermail/ghc-steering-committee/2019-November/0012... I still think this is a good idea, and recommend acceptance. Since we've already discussed this once, I'll assume acceptance in about a week, if I don't hear from anyone, although I'll wait until at least Simon PJ and Richard confirm that the issues they raised last time have been addressed. -Iavor
I’ve posted a comment on GitHub with some more questions.
Iavor: please do nag if I am slow.
Simon
From: ghc-steering-committee
Iavor
See the GitHub thread. I’m happy to accept. But I’d love that API to be written down.
Simon
From: Simon Peyton Jones
Sent: 15 May 2020 11:13
To: Iavor Diatchki
participants (2)
-
Iavor Diatchki -
Simon Peyton Jones