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

Question

4

我正在尝试转储Haskell项目中所有标识符的类型信息，基本上就是遍历类型化的抽象语法树。来自另一个问题，OCaml通过名为compiler-libs的库公开其内部API。我想知道Haskell是否支持类似的任务？

- Wei Chen

不幸的是，GHC没有为此提供一个好的API。您可以从haskell-type-exts中获得一些帮助。 - luqui

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- ja. · Accepted Answer

GHC作为库可以提供给你一个TypecheckedModule，以及getNamesInScope，其中包括每个名称的类型。