Overload resolution simplification

[maurizio cimadamore]

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.

Maurizio