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