Haskell编译器中的遍历类型抽象语法树

Question

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

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

Answer 1

GHC-as-a-library会为您提供TypecheckedModule和getNamesInScope，其中包含每个名称的类型。