Overload resolution simplification
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 ?
More information about the lambda-spec-experts