hg: lambda/lambda/langtools: Next round of implementation reflecting the latest 'State of the Lambda' draft; implemented features are:

[Neal Gafter]

On Fri, Jul 23, 2010 at 12:45 PM, maurizio cimadamore <
maurizio.cimadamore at oracle.com> wrote:

>  As I said in my earlier mail, the compiler uses (among the other things)
> the return type/thrown types inferred from the body of the lambda
> expression. As you can imagine the actual scheme is quite complex as there
> are cases in which such types might depend on the type of 'this' which is
> not available during overload resolution.
>

When do you expect whatever complex scheme you're using to be described in
some specification-ish documentation?