2015-02-08 90 views
4

我试图在Haskell项目中转储所有标识符的类型信息,基本上它与遍历类型化的抽象语法树相同。Haskell编译器中的遍历型抽象语法树

another question开始,OCaml通过名为compiler-libs的库公开其内部API。我想知道Haskell如何支持类似的任务?

+0

不幸的是,GHC并没有为此公开一个很好的API。你可能会从[haskell-type-exts](http://hackage.haskell.org/package/haskell-type-exts)获得一些milage。 – luqui 2015-02-08 07:02:59

回答

1

GHC-as-a-library给你一个TypecheckedModulegetNamesInScope,其中包括每个名称的类型。