Overload resolution simplification

maurizio cimadamore maurizio.cimadamore at oracle.com
Sat Aug 10 14:10:13 PDT 2013

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?


More information about the lambda-spec-experts mailing list