VerifyError: Wrong return type in function

[Mark Mahieu]

Neal,

I was using the 'soylatte' build of JDK 6 on Mac OS X 10.4.11, but  
I've reproduced the problem on another x86 machine using Sun JDK  
1.6.0_06 under both Windows XP and Ubuntu 8.04.  The prototype is  
version 2008-08-04 in all cases.

Commands executed are:

/path/to/closures-2008-08-04/bin/javac TriggerVerifyError.java
/path/to/closures-2008-08-04/bin/java TriggerVerifyError

I'm attaching my actual source file and generated class files, in  
case they're of any help.




Regards,

Mark


On 8 Aug 2008, at 06:10, Neal Gafter wrote:

> 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/20080808/9979d505/attachment.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: TriggerVerifyError.class
Type: application/octet-stream
Size: 376 bytes
Desc: not available
Url : http://mail.openjdk.java.net/pipermail/closures-dev/attachments/20080808/9979d505/attachment.obj 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/closures-dev/attachments/20080808/9979d505/attachment-0001.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: TriggerVerifyError.java
Type: application/octet-stream
Size: 259 bytes
Desc: not available
Url : http://mail.openjdk.java.net/pipermail/closures-dev/attachments/20080808/9979d505/attachment-0001.obj 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/closures-dev/attachments/20080808/9979d505/attachment-0002.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: TriggerVerifyError$1.class
Type: application/octet-stream
Size: 322 bytes
Desc: not available
Url : http://mail.openjdk.java.net/pipermail/closures-dev/attachments/20080808/9979d505/attachment-0002.obj 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/closures-dev/attachments/20080808/9979d505/attachment-0003.html