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