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

[Stephen Tetley]

Hi Oleg - many thanks



On 6 March 2012 07:15,  <oleg at okmij.org> wrote:
>
>> How do I add type annotations to interior locations in an abstract
>> syntax tree?....
> {Snip}
>        Here is the solution
> http://okmij.org/ftp/Computation/FLOLAC/TEvalNR.hs
>
>        There is a bit of the explanation here:
> http://okmij.org/ftp/Computation/FLOLAC/lecture.pdf
>
>