Inferring Exception type of a lambda body

[Maurizio Cimadamore]

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.

Maurizio