Overload resolution simplification
forax at univ-mlv.fr
Tue Aug 13 14:03:14 PDT 2013
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:
> where m, g, f are overloads.
oops, so it means that we can't disambiguate lambdas by doing a
So apart the number of parameters of the lambda, we have no information :(
More information about the lambda-spec-observers