Overload resolution simplification
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