> 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.
We've just got a new Google SoC project accepted to push this forward :) /Shayan On Mon, May 7, 2018 at 3:14 PM, Richard Eisenberg <r...@cs.brynmawr.edu> wrote: > 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 <k...@kane.cx> 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 >> ghc-devs@haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs