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

[ajb at spamcop.net]

G'day all.

Quoting José Romildo Malaquias <j.romildo at gmail.com>:

> 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