hg: lambda/lambda/langtools: Bug fixes:

[Maurizio Cimadamore]

On 11/11/10 15:57, Mark Mahieu wrote:
> 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?
Well, it's definitively a good idea to give your tests a try. It's a 
shame we don't have a proper bug database set up (handling incoming bugs 
through emails doesn't scale very well, as it relies a lot on the memory 
of the reader ;-) ). On the other hand, I think it's best if we wait a 
little bit more - as there are some additional changes that I'd like to 
make to target-type inference that are likely to change the space of 
compilable programs a little bit.

Thanks again
Maurizio
>
> Mark
>
> [1] http://markmahieu.blogspot.com/2008/01/cicearm-prototype.html
>
>
> On 11 Nov 2010, at 14:48, maurizio.cimadamore at oracle.com 
> <mailto: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
>>
>>
>