Overload resolution simplification

Remi Forax forax at univ-mlv.fr
Sat Aug 10 14:52:03 PDT 2013

On 08/10/2013 11:10 PM, maurizio cimadamore wrote:
> On 10-Aug-13 9:13 PM, Remi Forax wrote:
>> For implicit lambda, I see no issue if the compiler tries to 
>> typecheck the same lambda with different parameters but in that case, 
>> the compiler should not try go ahead by creating a new context. 
>> Again, it means that if one typechecking of the lambda expression is 
>> stuck, the compiler should stop. 
> I'm not following this. If you type-check a lambda with multiple 
> parameters then you have combinatorial explosion. What am I missing?

You mean if you have overloads that are generics ?

> Maurizio


More information about the lambda-spec-experts mailing list