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

[Charles H. Turner]

Follow-up Comment #4, bug #32209 (project kawa):

I noticed this today. Here is an easy way to reproduce the bug,

#|kawa:1|# (define (cons 'a 'b))
/dev/stdin:1:16: unknown type name 'a'
/dev/stdin:1:19: unknown type name 'b'
/dev/stdin:1:1: body with no expressions
#|kawa:2|# (cons 'a 'b)
exception while initializing module atInteractiveLevel$2
        at gnu.expr.ModuleContext.findInstance(ModuleContext.java:84)
        at gnu.expr.ModuleExp.evalModule2(ModuleExp.java:276)
        at gnu.expr.ModuleExp.evalModule(ModuleExp.java:187)
        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:852)
Caused by: java.lang.VerifyError: (class: atInteractiveLevel$2, method: run
signature: (Lgnu/mapping/CallContext;)V) Accessing value from uninitialized
register 3
        at java.lang.Class.getDeclaredFields0(Native Method)
        at java.lang.Class.privateGetDeclaredFields(Class.java:2308)
        at java.lang.Class.getDeclaredField(Class.java:1897)
        at gnu.expr.ModuleContext.findInstance(ModuleContext.java:74)
        ... 6 more

Not sure how to add attachments here, but I suppose you can generate the zip
file yourself with this information.

    _______________________________________________________

Reply to this item at:

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

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