[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Bug-kawa] [bug #32657] Verification error with JDK7
From: |
Helmut Eller |
Subject: |
[Bug-kawa] [bug #32657] Verification error with JDK7 |
Date: |
Wed, 02 Mar 2011 18:42:45 +0000 |
User-agent: |
Opera/9.80 (X11; Linux i686; U; en) Presto/2.7.62 Version/11.01 |
URL:
<http://savannah.gnu.org/bugs/?32657>
Summary: Verification error with JDK7
Project: Kawa
Submitted by: ellerh
Submitted on: Wed 02 Mar 2011 06:42:44 PM GMT
Category: None
Severity: 3 - Normal
Item Group: None
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
I've configured Kawa with --with-java-source=7
and get a verify error when loading this file
(module-export foo)
(define (foo) ()
(let ((x (bar))
(fail (lambda () (error "fail"))))
(if (instance? x <pair>)
(let ((y :: <pair> x))
(let ((z (y:getCar)))
(if (eq? (y:getCdr) '())
z
(fail))))
(fail))))
(define (bar) ::<list>
(list 1))
rlwrap kawa --version --
Kawa 1.11 (revision 0:6912M)
Copyright (C) 2009 Per Bothner
#|kawa:1|# (require "/tmp/x.scm")
exception while initializing module x
at gnu.expr.ModuleContext.findInstance(ModuleContext.java:84)
at gnu.expr.ModuleContext.findInstance(ModuleContext.java:57)
at gnu.expr.ModuleInfo.getInstance(ModuleInfo.java:272)
at kawa.standard.require.find(require.java:119)
at atInteractiveLevel$1.run(stdin:1)
at gnu.expr.ModuleExp.evalModule2(ModuleExp.java:287)
at gnu.expr.ModuleExp.evalModule(ModuleExp.java:188)
at kawa.Shell.run(Shell.java:281)
at kawa.Shell.run(Shell.java:194)
at kawa.Shell.run(Shell.java:175)
at kawa.repl.processArgs(repl.java:350)
at kawa.repl.main(repl.java:829)
Caused by: java.lang.VerifyError: Instruction type does not match stack map in
method x.foo()Ljava/lang/Object; at offset 47
at java.lang.Class.getDeclaredFields0(Native Method)
at java.lang.Class.privateGetDeclaredFields(Class.java:2306)
at java.lang.Class.getDeclaredField(Class.java:1895)
at gnu.expr.ModuleContext.findInstance(ModuleContext.java:74)
... 11 more
#|kawa:2|#
This is with jdk-binary-snpshot-128:
> java7 -version
java version "1.7.0-ea"
Java(TM) SE Runtime Environment (build 1.7.0-ea-b128)
Java HotSpot(TM) Client VM (build 20.0-b07, mixed mode, sharing)
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?32657>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
- [Bug-kawa] [bug #32657] Verification error with JDK7,
Helmut Eller <=