hg: lambda/lambda/langtools: Bug fixes:

[Mark Mahieu]

Hi Maurizio,

That seems to have fixed the bugs I encountered - nice one, thanks!

Also, I just remembered that I should still have some old jtreg tests I wrote for CICE a while back [1], some of which will probably apply to lambda after tweaking the syntax; I think the rules around SAM types, effectively final and even optional parameter types are sufficiently similar.  Would it be useful to you if I were to try them out against lambda at this point, or is it too early for such deliberate bug-hunting?

Mark

[1] http://markmahieu.blogspot.com/2008/01/cicearm-prototype.html


On 11 Nov 2010, at 14:48, maurizio.cimadamore at oracle.com wrote:

> Changeset: f5c76a5c84e3
> Author:    mcimadamore
> Date:      2010-11-11 14:47 +0000
> URL:       http://hg.openjdk.java.net/lambda/lambda/langtools/rev/f5c76a5c84e3
> 
> Bug fixes:
> *) Lambda expression not allowed in instance creation context
> *) Target-type inference failure with '? extends' wildcards leads to compiler error
> *) Interface methods in diamond shaped inheritance trees are counted twice during SAM conversion
> *) Conformance error: Resolve/Infer should use Types.isConvertible instead of Types.isAssignable for actuals vs. formals check
> 
> ! 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/Infer.java
> ! src/share/classes/com/sun/tools/javac/comp/Resolve.java
> + test/tools/javac/lambda/LambdaConv12.java
> + test/tools/javac/lambda/LambdaConv13.java
> ! test/tools/javac/lambda/TargetType04.out
> + test/tools/javac/lambda/TargetType15.java
> 
>