Inferring Exception type of a lambda body

[Maurizio Cimadamore]

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