hg: lambda/lambda/langtools: Improvements:

[maurizio.cimadamore at oracle.com]

Changeset: 33a9a25c7347
Author:    mcimadamore
Date:      2011-07-04 13:54 +0100
URL:       http://hg.openjdk.java.net/lambda/lambda/langtools/rev/33a9a25c7347

Improvements:
*) Switch to a more local type-inference process. Inference variables are not propagated outwards anymore. This allows for more predictable inference results and better error messages
*) added -XDcomplexinference flag to enable more aggressive inference options, such as (i) handling of cycles in inference constraints (i.e. when a lambda expression returns a poly expression and target SAM type contains inference variables), (ii) enabling target-type inference for diamond/generic method calls in method context.

! src/share/classes/com/sun/tools/javac/code/Printer.java
! src/share/classes/com/sun/tools/javac/code/Type.java
! src/share/classes/com/sun/tools/javac/comp/Attr.java
! src/share/classes/com/sun/tools/javac/comp/Check.java
! src/share/classes/com/sun/tools/javac/comp/Infer.java
! src/share/classes/com/sun/tools/javac/comp/Resolve.java
! src/share/classes/com/sun/tools/javac/main/OptionName.java
! src/share/classes/com/sun/tools/javac/main/RecognizedOptions.java
! test/tools/javac/lambda/ExceptionTransparency04.out
! test/tools/javac/lambda/TargetType10.java
! test/tools/javac/lambda/TargetType10.out
! test/tools/javac/lambda/TargetType14.out
! test/tools/javac/lambda/TargetType24.out
! test/tools/javac/lambda/TargetType27.java
! test/tools/javac/lambda/TargetType27.out
! test/tools/javac/lambda/TargetType28.java
! test/tools/javac/lambda/TargetType28.out
+ test/tools/javac/lambda/TargetType28_b.out