VerifyError: Wrong return type in function

[Neal Gafter]

Mark-

I tried this example using the most recent prototype on Linux with JDK6 as
the underlying VM, and I could not reproduce it.  What is your machine, O/S,
and VM?  Which version of the prototype?

Regards,
Neal

On Wed, Aug 6, 2008 at 9:41 AM, Neal Gafter <neal at gafter.com> wrote:

> Mark-
>
> Thanks for the report!
>
> This is definitely a bug.  I'll squash it with the next update.
>
> Regards,
> Neal
>
>
> On Wed, Aug 6, 2008 at 2:20 AM, Mark Mahieu <
> mark at twistedbanana.demon.co.uk> wrote:
>
>> FYI, the following code (all in one compilation unit) compiles but fails
>> with a VerifyError when run.  The test case is about as simple as I could
>> make it...
>>
>>
>> public class TriggerVerifyError {
>>    public static void main(String[] args) {
>>        new Foo() {}.run();
>>    }
>> }
>>
>> class Foo {
>>    void run() {
>>        {=> String} fn =
>>            {=>
>>                String s = null;
>>                s
>>            };
>>    }
>> }
>>
>>
>> Exception in thread "main" java.lang.VerifyError: (class: Foo$2, method:
>> invoke signature: ()Ljava/lang/String;) Wrong return type in function
>>        at Foo.<clinit>(TriggerVerifyError.java:10)
>>        at TriggerVerifyError.main(TriggerVerifyError.java:3)
>>
>>
>> Regards,
>>
>> Mark
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/closures-dev/attachments/20080807/25db3665/attachment.html