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

6 Mar 2012

      Hi Oleg - many thanks

On 6 March 2012 07:15,   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

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

Stephen Tetley