10 Oct
2010
10 Oct
'10
7:46 a.m.
2010/10/10 André Batista Martins
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.