hg: jdk8/tl/langtools: 10 new changesets

maurizio.cimadamore at oracle.com maurizio.cimadamore at oracle.com
Wed Jul 17 14:28:47 UTC 2013 

Changeset: 44e27378f523
Author:    mcimadamore
Date:      2013-07-17 14:04 +0100
URL:       http://hg.openjdk.java.net/jdk8/tl/langtools/rev/44e27378f523

8012242: Lambda compatibility and checked exceptions
Summary: Inference variables in 'throws' clause with no constraints should be inferred as RuntimeException
Reviewed-by: jjg, vromero

! src/share/classes/com/sun/tools/javac/code/Flags.java
! src/share/classes/com/sun/tools/javac/comp/Infer.java
! src/share/classes/com/sun/tools/javac/comp/MemberEnter.java
! test/tools/javac/generics/6723444/T6723444.java
- test/tools/javac/generics/6723444/T6723444.out
+ test/tools/javac/generics/6723444/T6723444_1.out
+ test/tools/javac/generics/6723444/T6723444_2.out
! test/tools/javac/generics/7015430/T7015430.java
- test/tools/javac/generics/7015430/T7015430.out
+ test/tools/javac/generics/7015430/T7015430_1.out
+ test/tools/javac/generics/7015430/T7015430_2.out
+ test/tools/javac/lambda/TargetType63.java
+ test/tools/javac/lambda/TargetType63.out

Changeset: 866c87c01285
Author:    mcimadamore
Date:      2013-07-17 14:09 +0100
URL:       http://hg.openjdk.java.net/jdk8/tl/langtools/rev/866c87c01285

8016175: Add bottom-up type-checking support for unambiguous method references
Summary: Type-checking of non-overloaded method references should be independent from target-type
Reviewed-by: jjg, vromero

! src/share/classes/com/sun/tools/javac/comp/Attr.java
! src/share/classes/com/sun/tools/javac/comp/DeferredAttr.java
! src/share/classes/com/sun/tools/javac/comp/Infer.java
! src/share/classes/com/sun/tools/javac/comp/Resolve.java
+ test/tools/javac/lambda/MethodReference68.java
+ test/tools/javac/lambda/MethodReference68.out
+ test/tools/javac/lambda/MethodReference69.java
+ test/tools/javac/lambda/MethodReference69.out
+ test/tools/javac/lambda/MethodReference70.java
+ test/tools/javac/lambda/MethodReference70.out
+ test/tools/javac/lambda/MethodReference71.java
+ test/tools/javac/lambda/MethodReference71.out
+ test/tools/javac/lambda/MethodReference72.java
+ test/tools/javac/lambda/MethodReference72.out
! test/tools/javac/lambda/TargetType60.out
+ test/tools/javac/lambda/TargetType76.java

Changeset: a204cf7aab7e
Author:    mcimadamore
Date:      2013-07-17 14:11 +0100
URL:       http://hg.openjdk.java.net/jdk8/tl/langtools/rev/a204cf7aab7e

8012238: Nested method capture and inference
8008200: java/lang/Class/asSubclass/BasicUnit.java fails to compile
Summary: Inference support should be more flexible w.r.t. nested method calls returning captured types
Reviewed-by: jjg, vromero

! 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/Infer.java
! src/share/classes/com/sun/tools/javac/comp/Resolve.java
+ test/tools/javac/lambda/NestedCapture01.java
+ test/tools/javac/lambda/NestedCapture02.java
+ test/tools/javac/lambda/NestedCapture03.java

Changeset: c60a5099863a
Author:    mcimadamore
Date:      2013-07-17 14:13 +0100
URL:       http://hg.openjdk.java.net/jdk8/tl/langtools/rev/c60a5099863a

8020147: Spurious errors when compiling nested stuck lambdas
Summary: Scope of deferred types is not copied correctly; postAttr analyzer should not run on stuck expressions
Reviewed-by: jjg

! src/share/classes/com/sun/tools/javac/comp/Attr.java
! src/share/classes/com/sun/tools/javac/comp/DeferredAttr.java
! src/share/classes/com/sun/tools/javac/comp/Flow.java
+ test/tools/javac/lambda/8020147/T8020147.java
+ test/tools/javac/lambda/8020147/T8020147.out

Changeset: 328896931b98
Author:    mcimadamore
Date:      2013-07-17 14:14 +0100
URL:       http://hg.openjdk.java.net/jdk8/tl/langtools/rev/328896931b98

8020286: Wrong diagnostic after compaction
Summary: compact diagnostic shows the least relevant method in the list
Reviewed-by: jjg

! src/share/classes/com/sun/tools/javac/comp/Resolve.java
+ test/tools/javac/Diagnostics/compressed/T8020286.java
+ test/tools/javac/Diagnostics/compressed/T8020286.out

Changeset: db2c539819dd
Author:    mcimadamore
Date:      2013-07-17 14:14 +0100
URL:       http://hg.openjdk.java.net/jdk8/tl/langtools/rev/db2c539819dd

7041019: Bogus type-variable substitution with array types with dependencies on accessibility check
Summary: call to upperBound() when performing type-variable substitution on element type leads to unsoundness
Reviewed-by: jjg

! src/share/classes/com/sun/tools/javac/code/Types.java
! src/share/classes/com/sun/tools/javac/comp/Resolve.java
! test/tools/javac/generics/7034511/T7034511a.java
! test/tools/javac/generics/7034511/T7034511a.out
! test/tools/javac/generics/7034511/T7034511b.java
! test/tools/javac/generics/7034511/T7034511b.out
+ test/tools/javac/generics/7034511/T7041019.java

Changeset: fae8f309ff80
Author:    mcimadamore
Date:      2013-07-17 14:16 +0100
URL:       http://hg.openjdk.java.net/jdk8/tl/langtools/rev/fae8f309ff80

8016640: compiler hangs if the generics arity of a base class is wrong
Summary: Check.checkCompatibleConcretes hang when javac creates synthetic supertypes for 269 model API
Reviewed-by: jjg

! src/share/classes/com/sun/tools/javac/code/Types.java
! src/share/classes/com/sun/tools/javadoc/ClassDocImpl.java
+ test/tools/javac/generics/8016640/T8016640.java
+ test/tools/javac/generics/8016640/T8016640.out

Changeset: 155809b1b969
Author:    mcimadamore
Date:      2013-07-17 14:19 +0100
URL:       http://hg.openjdk.java.net/jdk8/tl/langtools/rev/155809b1b969

8020149: Graph inference: wrong logic for picking best variable to solve
Summary: Replace logic for selecting best inference leaf in the graph during an unsticking round
Reviewed-by: jjg

! src/share/classes/com/sun/tools/javac/comp/Infer.java
+ test/tools/javac/generics/inference/8020149/T8020149.java

Changeset: b577222ef7b3
Author:    mcimadamore
Date:      2013-07-17 14:19 +0100
URL:       http://hg.openjdk.java.net/jdk8/tl/langtools/rev/b577222ef7b3

8019340: varargs-related warnings are meaningless on signature-polymorphic methods such as MethodHandle.invokeExact
Summary: Disable certain varargs warnings when compiling polymorphic signature calls
Reviewed-by: jjg

! src/share/classes/com/sun/tools/javac/comp/Check.java
+ test/tools/javac/meth/VarargsWarn.java
+ test/tools/javac/meth/VarargsWarn.out

Changeset: f65a807714ba
Author:    mcimadamore
Date:      2013-07-17 14:21 +0100
URL:       http://hg.openjdk.java.net/jdk8/tl/langtools/rev/f65a807714ba

8019942: Graph inference: avoid redundant computation during bound incorporation
Summary: Bound incorporation should not perform same operation multiple times
Reviewed-by: jjg

! src/share/classes/com/sun/tools/javac/code/Type.java
! src/share/classes/com/sun/tools/javac/comp/Infer.java
! test/tools/javac/generics/inference/8019824/T8019824.out

More information about the core-libs-dev mailing list