2015-02-08 74 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,其中包括每個名稱的類型。