[Haskell-cafe] Adding type annotations to an AST?

[Stephen Tetley]

Hi Sean

Many thanks - the note on flow-issues might be particularly helpful
for me (last para section 4 introduction). My current code has a bug
which maybe this identifies.

I'm currently using a modified algorithm M which I believe is top
down, I'll switch to algorithm W.

Thanks again

Stephen