Yes: https://ghc.haskell.org/trac/ghc/wiki/TemplateHaskell/Introspective I think this may be waiting for the trees-that-grow work to be completed, and as far as I know, no one is actively working on this. But I still think it would be a Good Thing.
Richard > On May 7, 2018, at 12:37 AM, David Kraeutmann <[email protected]> wrote: > > Tangentially related, but wasn't there a plan at some point to integrate TH > more tightly with GHC? > > On 5/7/2018 4:39 AM, Richard Eisenberg wrote: >> >> No, it doesn't, but the Q monad is actually a wrapper around TcM, the >> type-checker monad. I don't think it would be all that hard to do this. >> Could be a suitable project for someone new to GHC hacking... > _______________________________________________ > ghc-devs mailing list > [email protected] > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
