[Bug-kawa] [bug #32657] Verification error with JDK7

[Helmut Eller]

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/