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

Mon Aug 6 04:03:13 PDT 2012

We haven't addressed the problem of applying the correct warning levels 
on the java compilation yet. Hopefully we will be able to readd the 
correct -Xlint flags to an approximation of the correct set of source 
files. This is tricky because of implicit compilation and the old build 
suffers from this too.

/Erik

On 2012-08-03 19:06, Maurizio Cimadamore wrote:
> Not sure what happened here - when building the lambda repository 
> using the new build, I do not get errors in certain files - either 
> those files are not being compiled, or the -Xlint flag is not passed 
> to the compiler.
>
> Maurizio
>
>
> -------- Original Message --------
> Subject:     Re: hg: lambda/lambda/langtools: Enhancement: Add support 
> for more aggressive type-inference
> Date:     Fri, 03 Aug 2012 15:27:45 +0100
> From:     Maurizio Cimadamore <maurizio.cimadamore at oracle.com>
> Organization:     Oracle
> To:     Henri Gomez <henri.gomez at gmail.com>
> CC:     lambda-dev at openjdk.java.net
>
>
>
> 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
>>>>
>>>>
>>
>
>
>
>
>