Overload resolution simplification

[Remi Forax]

On 08/11/2013 11:23 AM, maurizio cimadamore wrote:
> On 10-Aug-13 10:52 PM, Remi Forax wrote:
>> You mean if you have overloads that are generics ? 
> No - in general; as soon as you start type-checking a lambda once per 
> overload I think it's unavoidable to end up in a combinatorial 
> scenario for lambda such as this:
>
> m(x->g(y->f(...)))
>
> where m, g, f are overloads.

oops, so it means that we can't disambiguate lambdas by doing a 
typechecking.
So apart the number of parameters of the lambda, we have no information :(

>
> Maurizio

Rémi