[Bug-kawa] [bug #31256] Verify error

[Helmut Eller]

URL:
  <http://savannah.gnu.org/bugs/?31256>

                 Summary: Verify error
                 Project: Kawa
            Submitted by: ellerh
            Submitted on: Tue 05 Oct 2010 06:59:07 PM GMT
                Category: None
                Severity: 3 - Normal
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

Loading a file containing 


(module-export foo)

(define (foo) ((bar)))
(define (bar) (lambda () #!null))


with "kawa foo.scm" gives this error:


Kawa 1.10 (revision 6727M)
Java HotSpot(TM) Client VM 1.6.0-b105
classpath: /scratch/kawa/:/opt/java/jdk1.6.0/lib/tools.jar:
librarypath:
/opt/java/jdk1.6.0/jre/lib/i386/client:/opt/java/jdk1.6.0/jre/lib/i386:/opt/java/jdk1.6.0/jre/../lib/i386:/usr/java/packages/lib/i386:/lib:/usr/lib
exception while initializing module foo
        at gnu.expr.ModuleContext.findInstance(ModuleContext.java:84)
        at gnu.expr.ModuleExp.evalModule2(ModuleExp.java:274)
        at gnu.expr.CompiledModule.evalModule(CompiledModule.java:41)
        at gnu.expr.CompiledModule.evalModule(CompiledModule.java:60)
        at kawa.Shell.runFile(Shell.java:500)
        at kawa.Shell.runFileOrClass(Shell.java:428)
        at kawa.repl.main(repl.java:836)
Caused by: java.lang.VerifyError: (class: foo, method: foo signature:
()Ljava/lang/Object;) Accessing value from uninitialized register 0
        at java.lang.Class.getDeclaredFields0(Native Method)
        at java.lang.Class.privateGetDeclaredFields(Class.java:2291)
        at java.lang.Class.getDeclaredField(Class.java:1880)
        at gnu.expr.ModuleContext.findInstance(ModuleContext.java:74)
        ... 6 more





    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?31256>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/