Traverse typed abstract syntax tree in Haskell Compiler

Question

I'm trying to dump type information of all identifiers in an Haskell project, basically it's the same as traversing the typed abstract syntax tree.

From another question, OCaml exposes its internal APIs through a library called compiler-libs. I'm wondering how is Haskell's support for similar task?

Unfortunately GHC does not expose a nice API for this. You might get some milage from haskell-type-exts. — luqui
– luqui, Commented Feb 8, 2015 at 7:02

ja. · Accepted Answer · 2015-02-08 21:27:38Z

1

GHC-as-a-library gives you a TypecheckedModule, and getNamesInScope, which includes the type of each name.

answered Feb 8, 2015 at 21:27

ja.

4,26923 silver badges22 bronze badges

Sign up to request clarification or add additional context in comments.

Collectives™ on Stack Overflow

Traverse typed abstract syntax tree in Haskell Compiler

1 Answer 1

Comments

Your Answer

Linked

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

Comments

Your Answer

Sign up or log in

Post as a guest

Linked

Related