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

[Martin Hofmann]

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