Re: [Haskell-cafe] Tiger compiler in Haskell: annotating abstract syntax tree

G'day all. Quoting José Romildo Malaquias :

I am writing here to ask suggestions on how to annotate an ast with types (or any other information that would be relevant in a compiler phase) in Haskell.

This might help: http://www.haskell.org/haskellwiki/Indirect_composite Andrew Bromage