[Haskell-cafe] Re: Re-order type

Stephen Tetley stephen.tetley at gmail.com
Sun Oct 10 07:46:50 EDT 2010

2010/10/10 André Batista Martins <andre_bm at netcabo.pt>:

> I think that work has been done, in helium compiler.  But i can't identify
> the algorithm for this propose.

It may be a "hand written" hint that generates the very precise help
"probable fix : re-order arguments".

See the paper "Scripting the Type Inference Process" Bastiaan Heeren,
Jurriaan Hage, S. Doaitse Swierstra.

S. Doaitse Swierstra often contributes to this list, though in the
case that he misses this thread you might want to ask him directly
about it.

More information about the Haskell-Cafe mailing list