Inferring Exception type of a lambda body

Maurizio Cimadamore maurizio.cimadamore at
Wed Feb 6 05:58:40 PST 2013

On 05/02/13 18:29, Maurizio Cimadamore wrote:
> On 05/02/13 18:16, Zhong Yu wrote:
>> My suggestion for the inference rule is, very simplistically,
>> If E has not been inferred from previous steps, and E is in the throw
>> clause, and E has an upper constraint E<<X,
>>       if X:>RuntimeException, infer E=RuntimeException
>>       otherwise, infer E=X. (X is an Error or a checked exception)
> Stay tuned - we are evaluating something along these lines
> Maurizio
I've pushed experimental support for this - the implemented support can 
be used as a reference point for the EG discussion.


More information about the lambda-dev mailing list