Overload resolution simplification

maurizio cimadamore maurizio.cimadamore at oracle.com
Sun Aug 11 02:23:18 PDT 2013

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.


More information about the lambda-spec-experts mailing list