hg: lambda/lambda/langtools: Enhancement: Add support for more aggressive type-inference

[Maurizio Cimadamore]

Good catch - the compiler now catches more 'redundant casts' as a 
side-effect of a change I made... I will correct this (and other issues) 
asap

Maurizio

On 03/08/12 14:11, Henri Gomez wrote:
> Everything has been commited ?
>
> Got following build error :
>
> ../../../../src/share/classes/sun/security/x509/CertParseError.java
> # Running javac:      150 files; in
> /Users/henri/Documents/jenkins/data/jobs/openjdk-jdk8-lambda/workspace/jdk/make/sun/security/other
> /Library/Java/JavaVirtualMachines/1.7.0u6.jdk/Contents/Home/bin/java
> -XX:-PrintVMOptions -XX:+UnlockDiagnosticVMOptions -XX:-LogVMOutput
> -Djava.awt.headless=true -Xmx512m -Xms512m -XX:PermSize=32m
> -XX:MaxPermSize=160m
> -Xbootclasspath/p:/Users/henri/Documents/jenkins/data/jobs/openjdk-jdk8-lambda/workspace/build/macosx-x86_64/langtools/dist/bootstrap/lib/javac.jar
> -jar /Users/henri/Documents/jenkins/data/jobs/openjdk-jdk8-lambda/workspace/build/macosx-x86_64/langtools/dist/bootstrap/lib/javac.jar
> -Werror -Xlint:all,-deprecation -Xlint:all -Xlint:-path -source 8
> -target 8 -encoding ascii
> -Xbootclasspath:/Users/henri/Documents/jenkins/data/jobs/openjdk-jdk8-lambda/workspace/build/macosx-x86_64/classes
> -sourcepath /Users/henri/Documents/jenkins/data/jobs/openjdk-jdk8-lambda/workspace/build/macosx-x86_64/gensrc:::/Users/henri/Documents/jenkins/data/jobs/openjdk-jdk8-lambda/workspace/jdk/src/macosx/classes:/Users/henri/Documents/jenkins/data/jobs/openjdk-jdk8-lambda/workspace/jdk/src/solaris/classes:/Users/henri/Documents/jenkins/data/jobs/openjdk-jdk8-lambda/workspace/jdk/src/share/classes
> -d /Users/henri/Documents/jenkins/data/jobs/openjdk-jdk8-lambda/workspace/build/macosx-x86_64/classes
> @/Users/henri/Documents/jenkins/data/jobs/openjdk-jdk8-lambda/workspace/build/macosx-x86_64/tmp/sun/sun.security.other/.classes.list.filtered
> ../../../../src/share/classes/sun/security/provider/certpath/PKIX.java:252:
> warning: [cast] redundant cast to Collection<? extends Certificate>
>                          (Collection<? extends Certificate>)
>                          ^
> error: warnings found and -Werror specified
> Note: Some input files use or override a deprecated API.
> Note: Recompile with -Xlint:deprecation for details.
> 1 error
> 1 warning
> make[5]: *** [.compile.classlist] Error 1
> make[4]: *** [all] Error 1
> make[3]: *** [all] Error 1
> make[2]: *** [all] Error 1
> make[1]: *** [jdk-build] Error 2
>
>
> 2012/8/3  <maurizio.cimadamore at oracle.com>:
>> Changeset: 56419f06ad92
>> Author:    mcimadamore
>> Date:      2012-08-03 12:48 +0100
>> URL:       http://hg.openjdk.java.net/lambda/lambda/langtools/rev/56419f06ad92
>>
>> Enhancement: Add support for more aggressive type-inference
>>
>> Experimental aggressive inference support can be enabled using the flag -XDuseGraphInference.
>> The new inferencer (disabled by default) solves a number of outstanding problems in the legacy JDK 5/6/7 type-inferencer (which means it is also slightly backwards incompatible).
>>
>> Examples:
>>
>> *) Foo<Number> fn = new Foo<>(1);
>>
>> *) Set<String> ss = listInt.map(x->x.toString()).into(new HashSet<>);
>>
>> *) <Z> void call(SAM<Z> x, SAM<Z> y) { ... }
>>     call(() -> Collections.emptyList(), () -> new ArrayList<String>());
>>
>> Misc fixes:
>> *) remove unused class in com/sun/runtime
>> *) fix build.properties to generate right amount of stubs
>> *) fix regression tests failures triggered when running against lambda binary snapshot
>>
>> ! make/build.properties
>> - src/share/classes/com/sun/runtime/DefenderMethod.java
>> ! src/share/classes/com/sun/tools/javac/code/Source.java
>> ! src/share/classes/com/sun/tools/javac/code/Symtab.java
>> ! src/share/classes/com/sun/tools/javac/code/Type.java
>> ! src/share/classes/com/sun/tools/javac/code/Types.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/DeferredAttr.java
>> + src/share/classes/com/sun/tools/javac/comp/GraphInfer.java
>> ! src/share/classes/com/sun/tools/javac/comp/Infer.java
>> + src/share/classes/com/sun/tools/javac/comp/InferFactory.java
>> + src/share/classes/com/sun/tools/javac/comp/LegacyInfer.java
>> ! src/share/classes/com/sun/tools/javac/comp/Resolve.java
>> ! src/share/classes/com/sun/tools/javac/resources/compiler.properties
>> ! src/share/classes/com/sun/tools/javac/util/List.java
>> ! test/tools/javac/6758789/T6758789b.out
>> ! test/tools/javac/Diagnostics/6722234/T6722234b_1.out
>> ! test/tools/javac/Diagnostics/6722234/T6722234b_2.out
>> ! test/tools/javac/Diagnostics/6799605/T6799605.out
>> ! test/tools/javac/api/TestJavacTaskScanner.java
>> ! test/tools/javac/cast/7123100/T7123100a.out
>> ! test/tools/javac/defender/Pos01.java
>> ! test/tools/javac/diags/examples.not-yet.txt
>> ! test/tools/javac/diags/examples/CantApplyDiamond1.java
>> + test/tools/javac/diags/examples/IncompatibleEqUpperBounds.java
>> ! test/tools/javac/diags/examples/IncompatibleTypes1.java
>> + test/tools/javac/diags/examples/InferNoConformingAssignment.java
>> - test/tools/javac/diags/examples/InferredDoNotConformToBounds.java
>> + test/tools/javac/diags/examples/InferredDoNotConformToEq.java
>> + test/tools/javac/diags/examples/InferredDoNotConformToLower.java
>> + test/tools/javac/diags/examples/InferredDoNotConformToUpper.java
>> ! test/tools/javac/diags/examples/WhereCaptured.java
>> ! test/tools/javac/diags/examples/WhereCaptured1.java
>> ! test/tools/javac/generics/7015430/T7015430.out
>> ! test/tools/javac/generics/7151802/T7151802.out
>> ! test/tools/javac/generics/diamond/neg/Neg06.out
>> ! test/tools/javac/generics/diamond/neg/Neg07.out
>> ! test/tools/javac/generics/diamond/neg/Neg10.java
>> ! test/tools/javac/generics/diamond/neg/Neg10.out
>> ! test/tools/javac/generics/inference/6315770/T6315770.out
>> ! test/tools/javac/generics/inference/6611449/T6611449.out
>> ! test/tools/javac/generics/inference/6638712/T6638712b.out
>> ! test/tools/javac/generics/inference/6638712/T6638712d.out
>> ! test/tools/javac/generics/inference/6638712/T6638712e.out
>> ! test/tools/javac/generics/inference/6650759/T6650759m.out
>> ! test/tools/javac/generics/inference/7086601/T7086601a.out
>> ! test/tools/javac/lambda/TargetType10.java
>> ! test/tools/javac/lambda/TargetType10.out
>> ! test/tools/javac/lambda/TargetType20.java
>> ! test/tools/javac/lambda/TargetType20.out
>> ! test/tools/javac/multicatch/Neg07.out
>>
>>