[Haskell-cafe] How to get a typed (type tagged) AST from GHC's core [Was: Dynamically typing TH.Exp at runtime]

Martin Hofmann martin.hofmann at uni-bamberg.de
Fri Mar 13 12:03:11 EDT 2009

Brandon S. Allbery KF8NH wrote:
> I'm pretty sure you can pull a typed AST out of ghc-api and query the  
> type of any node.

Thanks. I am relieved to hear that.

Could anybody tell me, where to start in the ghc-api? It's pretty hard,
when you don't know where to look. Hoogle doesn't know anything about
it. I found following DT describing the core language, but as far as I
see, there are no type in there either.


Thanks a lot,


More information about the Haskell-Cafe mailing list