[Bug-kawa] [bug #32209] Class verification errors when reloading source files

[anonymous]

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

                 Summary: Class verification errors when reloading source
files
                 Project: Kawa
            Submitted by: None
            Submitted on: Sat 22 Jan 2011 10:27:30 AM UTC
                Category: Code generation
                Severity: 3 - Normal
              Item Group: Compile-time exception
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

I've been playing with kawa for a few days now and using (load
"some.file.scm") to load source files repeatedly.  I've gotten the following
error twice:

(load "ex.1.16.scm")
exception while initializing module atInteractiveLevel$87
        at gnu.expr.ModuleContext.findInstance(ModuleContext.java:84)
        at gnu.expr.ModuleExp.evalModule2(ModuleExp.java:274)
        at gnu.expr.ModuleExp.evalModule(ModuleExp.java:185)
        at kawa.Shell.run(Shell.java:281)
        at kawa.Shell.runFile(Shell.java:490)
        at kawa.standard.load.apply2(load.java:42)
        at kawa.standard.load.apply1(load.java:26)
        at gnu.mapping.Procedure.apply(Procedure.java:130)
        at gnu.mapping.Procedure.apply(Procedure.java:113)
        at gnu.mapping.CallContext.runUntilDone(CallContext.java:234)
        at gnu.expr.ModuleExp.evalModule2(ModuleExp.java:348)
        at gnu.expr.ModuleExp.evalModule(ModuleExp.java:185)
        at kawa.Shell.run(Shell.java:281)
        at kawa.Shell.run(Shell.java:194)
        at kawa.Shell.run(Shell.java:175)
        at kawa.repl.main(repl.java:848)
Caused by: java.lang.VerifyError: (class: atInteractiveLevel$87, method:
fastExpt signature: (Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;)
Accessing value from uninitialized register 2
        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)
        ... 15 more





    _______________________________________________________

Reply to this item at:

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

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