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
<stephen.tet...@gmail.com> wrote:
> http://web.cecs.pdx.edu/~mpj/thih/
>
> Looks like its a type _checker_ though...
>
>
> On 11 February 2010 17:39, Stephen Tetley <stephen.tet...@gmail.com> 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
>
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to