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

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. http://www.haskell.org/ghc/docs/latest/html/libraries/ghc/CoreSyn.html#t %3AExpr Thanks a lot, Martin