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

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

haskell compiler-construction

Haskell编译器中的遍历类型化抽象语法树,haskell,compiler-construction,abstract-syntax-tree,Haskell,Compiler Construction,Abstract Syntax Tree,我试图在Haskell项目中转储所有标识符的类型信息，基本上与遍历类型化抽象语法树相同从中，OCaml通过名为编译器libs的库公开其内部API。我想知道Haskell如何支持类似的任务提供了一个TypecheckedModule和getNamesInScope，其中包括每个名称的类型。不幸的是，GHC没有为此公开一个好的API。你可能会从中得到一些启发。

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

从中，OCaml通过名为

编译器libs

的库公开其内部API。我想知道Haskell如何支持类似的任务

提供了一个

TypecheckedModule

和

getNamesInScope

，其中包括每个名称的类型。

不幸的是，GHC没有为此公开一个好的API。你可能会从中得到一些启发。