[Haskell-cafe] Re: Re-order type

[Stephen Tetley]

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

>
> 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.