From vicente.romero at oracle.com Thu Apr 2 21:34:33 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Thu, 02 Apr 2015 21:34:33 +0000 Subject: hg: tiered-attrib/dev/langtools: 2 new changesets Message-ID: <201504022134.t32LYXG6022378@aojmv0008> Changeset: 816bd88d33a8 Author: sadayapalam Date: 2015-03-30 17:09 +0530 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/816bd88d33a8 8062373: Project Coin: diamond and anonymous classes Summary: Allow diamond inference in combination with anonymous class instance creation Reviewed-by: mcimadamore, vromero Contributed-by: srikanth.adayapalam at oracle.com, maurizio.cimadamore at oracle.com ! src/jdk.compiler/share/classes/com/sun/tools/javac/code/Source.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Analyzer.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/AttrContext.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Check.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/DeferredAttr.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Enter.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Resolve.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/resources/compiler.properties ! src/jdk.compiler/share/classes/com/sun/tools/javac/tree/TreeInfo.java ! test/tools/javac/classfiles/attributes/innerclasses/InnerClassesInAnonymousClassTest.java ! test/tools/javac/diags/examples/DiamondAndAnonClass.java + test/tools/javac/diags/examples/DiamondAndNonDenotableTypes.java ! test/tools/javac/failover/CheckAttributedTree.java ! test/tools/javac/generics/diamond/6939780/T6939780.java ! test/tools/javac/generics/diamond/6939780/T6939780_7.out ! test/tools/javac/generics/diamond/6939780/T6939780_8.out + test/tools/javac/generics/diamond/6939780/T6939780_9.out ! test/tools/javac/generics/diamond/6996914/T6996914a.java ! test/tools/javac/generics/diamond/6996914/T6996914b.java ! test/tools/javac/generics/diamond/8065986/T8065986b.java ! test/tools/javac/generics/diamond/8065986/T8065986b.out + test/tools/javac/generics/diamond/MultipleInferenceHooksTest.java ! test/tools/javac/generics/diamond/neg/Neg01.java ! test/tools/javac/generics/diamond/neg/Neg01.out ! test/tools/javac/generics/diamond/neg/Neg02.java ! test/tools/javac/generics/diamond/neg/Neg02.out ! test/tools/javac/generics/diamond/neg/Neg03.java ! test/tools/javac/generics/diamond/neg/Neg03.out ! test/tools/javac/generics/diamond/neg/Neg04.java ! test/tools/javac/generics/diamond/neg/Neg04.out ! test/tools/javac/generics/diamond/neg/Neg05.java ! test/tools/javac/generics/diamond/neg/Neg05.out ! test/tools/javac/generics/diamond/neg/Neg06.java ! test/tools/javac/generics/diamond/neg/Neg06.out ! test/tools/javac/generics/diamond/neg/Neg07.java ! test/tools/javac/generics/diamond/neg/Neg07.out ! test/tools/javac/generics/diamond/neg/Neg09.java ! test/tools/javac/generics/diamond/neg/Neg09.out + test/tools/javac/generics/diamond/neg/Neg12.java + test/tools/javac/generics/diamond/neg/Neg12.out + test/tools/javac/generics/diamond/neg/Neg13.java + test/tools/javac/generics/diamond/neg/Neg13.out + test/tools/javac/generics/diamond/neg/Neg14.java + test/tools/javac/generics/diamond/neg/Neg14.out + test/tools/javac/generics/diamond/neg/Neg15.java + test/tools/javac/generics/diamond/neg/Neg15.out + test/tools/javac/generics/diamond/neg/Neg16.java + test/tools/javac/generics/diamond/neg/Neg16.out + test/tools/javac/generics/diamond/neg/Neg17.java + test/tools/javac/generics/diamond/neg/Neg17.out + test/tools/javac/generics/diamond/neg/Neg18.java + test/tools/javac/generics/diamond/neg/Neg18.out + test/tools/javac/generics/diamond/neg/Neg19.java + test/tools/javac/generics/diamond/neg/Neg19.out + test/tools/javac/generics/diamond/neg/pkg/Neg18_01.java ! test/tools/javac/generics/diamond/pos/Pos01.java ! test/tools/javac/generics/diamond/pos/Pos02.java ! test/tools/javac/generics/diamond/pos/Pos03.java ! test/tools/javac/generics/diamond/pos/Pos04.java ! test/tools/javac/generics/diamond/pos/Pos05.java ! test/tools/javac/generics/inference/8055963/T8055963.java ! test/tools/javac/lambda/8066974/T8066974.java ! test/tools/javac/lambda/8066974/T8066974.out ! test/tools/javac/lambda/TargetType46.java ! test/tools/javac/lambda/TargetType46.out ! test/tools/javac/lambda/TargetType68.java + test/tools/javac/lambda/TargetType68.out ! test/tools/javac/lambda/TargetType69.java ! test/tools/javac/lambdaShapes/org/openjdk/tests/javac/FDTest.java ! test/tools/javac/scope/DupUnsharedTest.java Changeset: c0c00bb7a687 Author: vromero Date: 2015-04-02 14:34 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/c0c00bb7a687 merge ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Analyzer.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Check.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Enter.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Resolve.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/TieredAttrUtils.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/tree/TreeInfo.java From vicente.romero at oracle.com Fri Apr 3 00:19:46 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Fri, 03 Apr 2015 00:19:46 +0000 Subject: hg: tiered-attrib/dev/langtools: simplifying diamond for inner classes Message-ID: <201504030019.t330Jkd0022333@aojmv0008> Changeset: fcf4839f4420 Author: vromero Date: 2015-04-02 17:14 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/fcf4839f4420 simplifying diamond for inner classes ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/TieredAttrUtils.java From vicente.romero at oracle.com Fri Apr 3 00:29:16 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Fri, 03 Apr 2015 00:29:16 +0000 Subject: hg: tiered-attrib/dev/langtools: 5 new changesets Message-ID: <201504030029.t330TGRo025959@aojmv0008> Changeset: 82a435ed8d1a Author: sadayapalam Date: 2015-03-23 09:48 +0530 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/82a435ed8d1a 7040592: Gen.java: fix code for handling 'null' literal when expected type is array Summary: Eliminate needless checkcast when null is assigned to a multi-dimensional array typedobject Reviewed-by: mcimadamore ! src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Code.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Gen.java + test/tools/javac/T7040592/CoerceNullToMoreSpecificTypeTest.java + test/tools/javac/T7040592/T7040592.java Changeset: 701e145238da Author: anazarov Date: 2015-03-26 17:39 +0100 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/701e145238da 8075610: java.desktop module dependency can be eliminated in tools/javac/generics/inference/5073060/GenericsAndPackages.java Reviewed-by: jjg ! test/tools/javac/generics/inference/5073060/GenericsAndPackages.java Changeset: 448dc7c4756d Author: anazarov Date: 2015-03-30 16:38 +0100 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/448dc7c4756d 8075752: jdk.compiler dependency can be eliminated in MethodReferenceNullCheckTest.java Reviewed-by: jjg ! test/tools/javac/lambda/methodReferenceExecution/MethodReferenceNullCheckTest.java Changeset: 20d9ef15b020 Author: jjg Date: 2015-04-02 15:56 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/20d9ef15b020 8076420: Consolidate javac file handling in javac.file package Reviewed-by: jlahoda ! src/jdk.compiler/share/classes/com/sun/tools/javac/api/JavacTaskImpl.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/api/JavacTool.java + src/jdk.compiler/share/classes/com/sun/tools/javac/file/BaseFileManager.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/file/BaseFileObject.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/file/JRTIndex.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/file/JavacFileManager.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/file/Locations.java + src/jdk.compiler/share/classes/com/sun/tools/javac/file/PathFileObject.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/main/Arguments.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/main/Main.java - src/jdk.compiler/share/classes/com/sun/tools/javac/nio/JavacPathFileManager.java - src/jdk.compiler/share/classes/com/sun/tools/javac/nio/PathFileManager.java - src/jdk.compiler/share/classes/com/sun/tools/javac/nio/PathFileObject.java - src/jdk.compiler/share/classes/com/sun/tools/javac/util/BaseFileManager.java ! src/jdk.javadoc/share/classes/com/sun/tools/doclets/internal/toolkit/util/DocFileFactory.java - src/jdk.javadoc/share/classes/com/sun/tools/doclets/internal/toolkit/util/PathDocFileFactory.java ! src/jdk.javadoc/share/classes/com/sun/tools/javadoc/Start.java ! src/jdk.javadoc/share/classes/com/sun/tools/javadoc/api/JavadocTool.java ! test/tools/javadoc/api/basic/GetTask_FileManagerTest.java Changeset: 8069a74bf3a7 Author: vromero Date: 2015-04-02 17:24 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/8069a74bf3a7 merge ! src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Gen.java - src/jdk.compiler/share/classes/com/sun/tools/javac/nio/JavacPathFileManager.java - src/jdk.compiler/share/classes/com/sun/tools/javac/nio/PathFileManager.java - src/jdk.compiler/share/classes/com/sun/tools/javac/nio/PathFileObject.java - src/jdk.compiler/share/classes/com/sun/tools/javac/util/BaseFileManager.java - src/jdk.javadoc/share/classes/com/sun/tools/doclets/internal/toolkit/util/PathDocFileFactory.java From vicente.romero at oracle.com Fri Apr 3 01:03:03 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Fri, 03 Apr 2015 01:03:03 +0000 Subject: hg: tiered-attrib/dev/langtools: rename ResolveResult class to ResolutionData Message-ID: <201504030103.t33133tJ001895@aojmv0008> Changeset: b80cf21704e9 Author: vromero Date: 2015-04-02 17:56 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/b80cf21704e9 rename ResolveResult class to ResolutionData ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Resolve.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/TieredAttrUtils.java From vicente.romero at oracle.com Fri Apr 3 01:37:02 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Fri, 03 Apr 2015 01:37:02 +0000 Subject: hg: tiered-attrib/dev/langtools: meth.type at JCMethodInvocation must be checked during target type phase Message-ID: <201504030137.t331b3NC008000@aojmv0008> Changeset: 979205b95cfd Author: vromero Date: 2015-04-02 18:23 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/979205b95cfd meth.type at JCMethodInvocation must be checked during target type phase ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Resolve.java ! test/tools/javac/generics/diamond/neg/Neg19.out ! test/tools/javac/lambda/TargetType46.out From vicente.romero at oracle.com Fri Apr 3 01:43:45 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Fri, 03 Apr 2015 01:43:45 +0000 Subject: hg: tiered-attrib/dev/langtools: inference should call check type listeners during overload resolution Message-ID: <201504030143.t331hkZj008895@aojmv0008> Changeset: 78734ae5ecec Author: vromero Date: 2015-04-02 18:37 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/78734ae5ecec inference should call check type listeners during overload resolution ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Check.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java From vicente.romero at oracle.com Fri Apr 3 20:27:40 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Fri, 03 Apr 2015 20:27:40 +0000 Subject: hg: tiered-attrib/dev/langtools: constructor resolution during target type can be done with exact phase Message-ID: <201504032027.t33KRe9J005245@aojmv0008> Changeset: d8dbd5c2e5d8 Author: vromero Date: 2015-04-03 13:27 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/d8dbd5c2e5d8 constructor resolution during target type can be done with exact phase ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Resolve.java From vicente.romero at oracle.com Fri Apr 3 22:47:35 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Fri, 03 Apr 2015 22:47:35 +0000 Subject: hg: tiered-attrib/dev/langtools: checking true and false part in conditional with specific result info Message-ID: <201504032247.t33MlZY7006149@aojmv0008> Changeset: 03ea54929d75 Author: vromero Date: 2015-04-03 15:47 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/03ea54929d75 checking true and false part in conditional with specific result info ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java From vicente.romero at oracle.com Fri Apr 3 23:22:22 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Fri, 03 Apr 2015 23:22:22 +0000 Subject: hg: tiered-attrib/dev/langtools: checkLambdaCompatible expects the enclosing check context Message-ID: <201504032322.t33NMMGW013349@aojmv0008> Changeset: 8c0154185bb8 Author: vromero Date: 2015-04-03 16:21 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/8c0154185bb8 checkLambdaCompatible expects the enclosing check context ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java From vicente.romero at oracle.com Mon Apr 6 16:56:05 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Mon, 06 Apr 2015 16:56:05 +0000 Subject: hg: tiered-attrib/dev/langtools: 6 new changesets Message-ID: <201504061656.t36Gu5bA027724@aojmv0008> Changeset: 57b69e17048f Author: jjg Date: 2015-04-03 15:23 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/57b69e17048f 8076583: move jdk.Exported from langtools to jdk Reviewed-by: darcy, alanb, tbell, mchung, jlahoda ! make/CompileInterim.gmk ! make/build.properties ! make/build.xml ! make/intellij/langtools.iml ! make/intellij/workspace.xml ! make/netbeans/langtools/nbproject/project.xml - src/java.base/share/classes/jdk/Exported.java Changeset: 617c89c89a78 Author: katleman Date: 2015-03-26 13:09 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/617c89c89a78 Added tag jdk9-b56 for changeset 5ee7bba6ef41 ! .hgtags Changeset: ec977a00cecb Author: lana Date: 2015-04-01 12:30 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/ec977a00cecb Merge Changeset: 07ce89fec301 Author: katleman Date: 2015-04-02 10:02 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/07ce89fec301 Added tag jdk9-b57 for changeset ec977a00cecb ! .hgtags Changeset: 586b7ddbb42f Author: lana Date: 2015-04-03 16:35 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/586b7ddbb42f Merge - make/Makefile - src/java.base/share/classes/jdk/Exported.java - src/jdk.compiler/share/classes/com/sun/tools/javac/nio/JavacPathFileManager.java - src/jdk.compiler/share/classes/com/sun/tools/javac/nio/PathFileManager.java - src/jdk.compiler/share/classes/com/sun/tools/javac/nio/PathFileObject.java - src/jdk.compiler/share/classes/com/sun/tools/javac/util/BaseFileManager.java - src/jdk.javadoc/share/classes/com/sun/tools/doclets/internal/toolkit/util/PathDocFileFactory.java Changeset: 6e0b348137b1 Author: vromero Date: 2015-04-06 09:55 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/6e0b348137b1 merge - src/java.base/share/classes/jdk/Exported.java From vicente.romero at oracle.com Tue Apr 7 23:46:26 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Tue, 07 Apr 2015 23:46:26 +0000 Subject: hg: tiered-attrib/dev/langtools: 2 new changesets Message-ID: <201504072346.t37NkaTv022684@aojmv0008> Changeset: 1bc3a6fc0f30 Author: vromero Date: 2015-04-07 16:43 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/1bc3a6fc0f30 refactoring the notification approach in type inference inference contexts now maintain a list of observer inference contexts. Now when the current inference context is instantiated this event if notified to the observer inference contexts. The difference with the previous approach is that now this event don't imply that the free type listeners have to be called immediately. Instead different priorities have been defined and every listener should specify the priority of the related callback. During the instantiation process, listeners can be invoked depending on theirs priority. This approach is more complex but at the same time provides a lot more flexibility as now it's possible to iterate through the waiting listeners and make sure that the expected order of calls is met. ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Check.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Resolve.java Changeset: 8bb721d6b93c Author: vromero Date: 2015-04-07 16:45 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/8bb721d6b93c javac is reporting a misleading error depending on the order of evaluation of setFunctionlInfo for lambda ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java From vicente.romero at oracle.com Wed Apr 8 22:58:43 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Wed, 08 Apr 2015 22:58:43 +0000 Subject: hg: tiered-attrib/dev/langtools: 2 new changesets Message-ID: <201504082258.t38Mwhwp020365@aojmv0008> Changeset: 5b7a7141cb37 Author: vromero Date: 2015-04-08 15:41 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/5b7a7141cb37 propagated stuck nodes can't be removed as during overload they could be propagated to different IC ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/TieredAttrUtils.java Changeset: ca75ade87f65 Author: vromero Date: 2015-04-08 15:41 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/ca75ade87f65 changing golden file for test IgnoreLambdaBodyDuringResolutionTest2 ! test/tools/javac/lambda/T8033483/IgnoreLambdaBodyDuringResolutionTest2.out From vicente.romero at oracle.com Thu Apr 9 01:03:07 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Thu, 09 Apr 2015 01:03:07 +0000 Subject: hg: tiered-attrib/dev/langtools: simplifying visitNewClass for target type phase Message-ID: <201504090103.t39137wB012203@aojmv0008> Changeset: 879fe39dff8d Author: vromero Date: 2015-04-08 18:02 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/879fe39dff8d simplifying visitNewClass for target type phase ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java From vicente.romero at oracle.com Fri Apr 10 19:10:58 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Fri, 10 Apr 2015 19:10:58 +0000 Subject: hg: tiered-attrib/dev/langtools: delta applying change to golden file IgnoreLambdaBodyDuringResolutionTest2.out Message-ID: <201504101910.t3AJAwTZ004951@aojmv0008> Changeset: 440c8b6dab12 Author: vromero Date: 2015-04-10 12:10 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/440c8b6dab12 delta applying change to golden file IgnoreLambdaBodyDuringResolutionTest2.out ! test/tools/javac/lambda/T8033483/IgnoreLambdaBodyDuringResolutionTest2.out From vicente.romero at oracle.com Wed Apr 15 17:44:16 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Wed, 15 Apr 2015 17:44:16 +0000 Subject: hg: tiered-attrib/dev/langtools: refactoring Infer.instantiateMethodTargetType to allow for better recovery Message-ID: <201504151744.t3FHiGsf018987@aojmv0008> Changeset: 1f69df2628e7 Author: vromero Date: 2015-04-15 10:43 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/1f69df2628e7 refactoring Infer.instantiateMethodTargetType to allow for better recovery ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/TieredAttrUtils.java From vicente.romero at oracle.com Wed Apr 15 17:54:38 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Wed, 15 Apr 2015 17:54:38 +0000 Subject: hg: tiered-attrib/dev/langtools: golden file change for lambda test Message-ID: <201504151754.t3FHschX021096@aojmv0008> Changeset: c8c5e284354d Author: vromero Date: 2015-04-15 10:54 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/c8c5e284354d golden file change for lambda test The difference in this case is due to the different approach for type inference in TA. TA first solve the constraint set and later checks if the arguments are acceptable. Completion of stuck expression is done, as in current javac, before solving the constraint set. The different, order of these steps leads in this case to a different, but equivalent, error report. ! test/tools/javac/lambda/8016177/T8016177g.out From vicente.romero at oracle.com Wed Apr 15 21:10:26 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Wed, 15 Apr 2015 21:10:26 +0000 Subject: hg: tiered-attrib/dev/langtools: new golden file for test T8065986b.java Message-ID: <201504152110.t3FLARLV000139@aojmv0008> Changeset: d237b7839304 Author: vromero Date: 2015-04-15 14:10 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/d237b7839304 new golden file for test T8065986b.java In this case the difference comes from the context in which the error is detected. In the case of TA diamond expressions are converted to a structural type which is not checked during overload resolution. For this reason the error is detected during overload resolution of the outer expression, in this case a constructor call. Again in the context of TA, during overload there is no result info involved so there are no specialized reports for diamond as in the case of current javac when the diamond expression is checked during overload resolution, an a result info with a specialized report issues the error. In any case the reported error is equivalent even when it's not exactly the same. ! test/tools/javac/generics/diamond/8065986/T8065986b.out From vicente.romero at oracle.com Thu Apr 16 18:21:06 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Thu, 16 Apr 2015 18:21:06 +0000 Subject: hg: tiered-attrib/dev/langtools: delegate inference error reporting to the resultInfo object at Infer.checkStructuralInvocationArg Message-ID: <201504161821.t3GIL7rx014890@aojmv0008> Changeset: 052b48c80bdb Author: vromero Date: 2015-04-16 11:20 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/052b48c80bdb delegate inference error reporting to the resultInfo object at Infer.checkStructuralInvocationArg ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java ! test/tools/javac/generics/diamond/8065986/T8065986b.out From vicente.romero at oracle.com Thu Apr 16 18:32:36 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Thu, 16 Apr 2015 18:32:36 +0000 Subject: hg: tiered-attrib/dev/langtools: check that invocation params don't have structural types Message-ID: <201504161832.t3GIWakS016468@aojmv0008> Changeset: c4aa535c1b64 Author: vromero Date: 2015-04-16 11:31 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/c4aa535c1b64 check that invocation params don't have structural types ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java From vicente.romero at oracle.com Thu Apr 16 18:44:52 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Thu, 16 Apr 2015 18:44:52 +0000 Subject: hg: tiered-attrib/dev/langtools: check that all type listeners have been completed Message-ID: <201504161844.t3GIiq7t020708@aojmv0008> Changeset: 766fd4fc5aa4 Author: vromero Date: 2015-04-16 11:35 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/766fd4fc5aa4 check that all type listeners have been completed ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java From vicente.romero at oracle.com Thu Apr 16 18:53:44 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Thu, 16 Apr 2015 18:53:44 +0000 Subject: hg: tiered-attrib/dev/langtools: reactivate assert at InferenceContext.notifyChange Message-ID: <201504161853.t3GIriEI024166@aojmv0008> Changeset: 8f7260430bf1 Author: vromero Date: 2015-04-16 11:46 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/8f7260430bf1 reactivate assert at InferenceContext.notifyChange ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java From vicente.romero at oracle.com Thu Apr 16 22:01:09 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Thu, 16 Apr 2015 22:01:09 +0000 Subject: hg: tiered-attrib/dev/langtools: 2 new changesets Message-ID: <201504162201.t3GM19Od003048@aojmv0008> Changeset: bbc7d23eeec9 Author: vromero Date: 2015-04-16 15:00 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/bbc7d23eeec9 renaming interface FreeTypeListener to InferenceActionListener ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Check.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Resolve.java Changeset: 2bdc6c379e95 Author: vromero Date: 2015-04-16 15:00 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/2bdc6c379e95 refactoring thrown types listeners in lambda expressions ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java From vicente.romero at oracle.com Thu Apr 16 23:00:07 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Thu, 16 Apr 2015 23:00:07 +0000 Subject: hg: tiered-attrib/dev/langtools: adding new test Static03.java Message-ID: <201504162300.t3GN07Ts014164@aojmv0008> Changeset: 08777286dc9b Author: vromero Date: 2015-04-16 15:58 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/08777286dc9b adding new test Static03.java ! test/tools/javac/defaultMethods/static/Static02.java ! test/tools/javac/defaultMethods/static/Static02.out + test/tools/javac/defaultMethods/static/Static03.java + test/tools/javac/defaultMethods/static/Static03.out From vicente.romero at oracle.com Mon Apr 27 21:08:20 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Mon, 27 Apr 2015 21:08:20 +0000 Subject: hg: tiered-attrib/dev/langtools: 2 new changesets Message-ID: <201504272108.t3RL8Kkg026650@aojmv0008> Changeset: a699f6f81615 Author: vromero Date: 2015-04-27 14:07 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/a699f6f81615 don't solve the inference context during the overload phase ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/resources/compiler.properties ! test/tools/javac/Diagnostics/6722234/T6722234b_1.out ! test/tools/javac/Diagnostics/6722234/T6722234b_2.out ! test/tools/javac/Diagnostics/6722234/T6722234d_1.out ! test/tools/javac/Diagnostics/6722234/T6722234d_2.out ! test/tools/javac/Diagnostics/6799605/T6799605.out ! test/tools/javac/diags/examples.not-yet.txt ! test/tools/javac/diags/examples/WhereCaptured.java ! test/tools/javac/diags/examples/WhereCaptured1.java ! test/tools/javac/diags/examples/WhereIntersection.java ! test/tools/javac/generics/diamond/neg/Neg07.out ! test/tools/javac/generics/inference/4941882/T4941882.out ! test/tools/javac/generics/inference/6315770/T6315770.out ! test/tools/javac/generics/inference/6611449/T6611449.out ! test/tools/javac/generics/inference/6650759/T6650759m.out ! test/tools/javac/generics/inference/8019824/T8019824.out ! test/tools/javac/generics/inference/EagerReturnTypeResolution/EagerReturnTypeResolutionTestb.out ! test/tools/javac/generics/inference/EagerReturnTypeResolution/PrimitiveTypeBoxingTest.out ! test/tools/javac/generics/wildcards/6762569/T6762569b.out ! test/tools/javac/lambda/8016177/T8016177g.out ! test/tools/javac/lambda/MethodReference41.out ! test/tools/javac/lambda/MethodReference43.out ! test/tools/javac/lambda/MethodReference46.out ! test/tools/javac/lambda/MethodReference58.out ! test/tools/javac/lambda/MethodReference68.out ! test/tools/javac/lambda/TargetType02.out Changeset: f521948e965d Author: vromero Date: 2015-04-27 14:07 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/f521948e965d subtype checks of bounds should be strict ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java ! test/tools/javac/diags/examples.not-yet.txt ! test/tools/javac/diags/examples/UncheckedMethodInvocation.java ! test/tools/javac/generics/7151802/T7151802.out ! test/tools/javac/generics/ExtendedRaw2.java + test/tools/javac/generics/ExtendedRaw2.out ! test/tools/javac/generics/inference/6638712/T6638712c.out ! test/tools/javac/generics/inference/6718364/T6718364.java ! test/tools/javac/generics/inference/6718364/T6718364.out ! test/tools/javac/generics/inference/8019824/T8019824.out ! test/tools/javac/generics/inference/EagerReturnTypeResolution/EagerReturnTypeResolutionTestb.out ! test/tools/javac/lambda/8016177/T8016177g.out ! test/tools/javac/lambda/T8038182/CrashFunctionDescriptorExceptionTest.out From vicente.romero at oracle.com Mon Apr 27 22:52:52 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Mon, 27 Apr 2015 22:52:52 +0000 Subject: hg: tiered-attrib/dev/langtools: add some documentation explaning last changes to Infer Message-ID: <201504272252.t3RMqqQi020298@aojmv0008> Changeset: ed14c4b4b0d7 Author: vromero Date: 2015-04-27 15:52 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/ed14c4b4b0d7 add some documentation explaning last changes to Infer ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java From vicente.romero at oracle.com Mon Apr 27 23:08:39 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Mon, 27 Apr 2015 23:08:39 +0000 Subject: hg: tiered-attrib/dev/langtools: ignore test analyzing all enclosed members of a package Message-ID: <201504272308.t3RN8dpN026330@aojmv0008> Changeset: 0cd92cf850f7 Author: vromero Date: 2015-04-27 16:08 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/0cd92cf850f7 ignore test analyzing all enclosed members of a package ! test/tools/javac/processing/model/testgetallmembers/Main.java From vicente.romero at oracle.com Tue Apr 28 23:56:26 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Tue, 28 Apr 2015 23:56:26 +0000 Subject: hg: tiered-attrib/dev/langtools: 2 new changesets Message-ID: <201504282356.t3SNuQfK029777@aojmv0008> Changeset: 1d554e11cd89 Author: vromero Date: 2015-04-28 16:50 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/1d554e11cd89 print the tree on DebugAnalyzer methods in case of failure ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java Changeset: 456b3582d5ad Author: vromero Date: 2015-04-28 16:51 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/456b3582d5ad make sure that no structural type leaks the attribution phase ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/TieredAttrUtils.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Gen.java ! src/jdk.compiler/share/classes/com/sun/tools/javac/main/Main.java From vicente.romero at oracle.com Thu Apr 30 23:41:05 2015 From: vicente.romero at oracle.com (vicente.romero at oracle.com) Date: Thu, 30 Apr 2015 23:41:05 +0000 Subject: hg: tiered-attrib/dev/langtools: call listeners during overload phase in legacy mode only Message-ID: <201504302341.t3UNf5Q8029914@aojmv0008> Changeset: 20017c05b2f9 Author: vromero Date: 2015-04-30 16:40 -0700 URL: http://hg.openjdk.java.net/tiered-attrib/dev/langtools/rev/20017c05b2f9 call listeners during overload phase in legacy mode only ! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java