Re: [Haskell-cafe] haskell-src type inference algorithm?

It does type inference, it's just not engineered to be part of a real compiler. On Thu, Feb 11, 2010 at 6:41 PM, Stephen Tetley wrote:

http://web.cecs.pdx.edu/~mpj/thih/

Looks like its a type _checker_ though...

On 11 February 2010 17:39, Stephen Tetley wrote:

...

Hello Job

For Haskell 98 would the code from 'Typing Haskell in Haskell' paper suffice?

A web search should find the code...

Best wishes

Stephen

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe