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

[Maurizio Cimadamore]

On 03/08/12 15:11, Maurizio Cimadamore wrote:
> 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
Interesting - this is not caught by the new build system (the one I used 
to check that everything was ok)...

Maurizio
> 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
>>>
>>>
>