in case if you have a few time to have a look to the problem i made a
simple test-case with my overloading operator problem, it is in the
two attached files and can run like that:

kawa -Dkawa.import.path="."
#|kawa:1|# (load "main-test-define.scm")
main-test-define.scm:4:1: duplicate version reference - was #<syntax
(test-define) in #91>
main-test-define.scm:4:1: unknown library (#<syntax#8 rename in #91>)
#|kawa:2|# +
Exception in thread "main" java.lang.VerifyError: Bad local variable type
Exception Details:
  Location:
    atInteractiveLevel-4.run(Lgnu/mapping/CallContext;)V @6: aload_3
  Reason:
    Type top (current frame, locals[3]) is not assignable to reference type
  Current Frame:
    bci: @6
    flags: { }
    locals: { 'atInteractiveLevel-4', 'gnu/mapping/CallContext',
'gnu/lists/Consumer' }
    stack: { 'gnu/lists/Consumer' }
  Bytecode:
    0000000: 2bb4 0008 4d2c 2db9 000e 0200 b1

    at java.base/java.lang.Class.getDeclaredFields0(Native Method)
    at java.base/java.lang.Class.privateGetDeclaredFields(Class.java:3473)
    at java.base/java.lang.Class.getDeclaredField(Class.java:2780)
    at gnu.expr.ModuleContext.findInstance(ModuleContext.java:71)
    at gnu.expr.ModuleExp.evalModule2(ModuleExp.java:286)
    at gnu.expr.ModuleExp.evalModule(ModuleExp.java:211)
    at kawa.Shell.run(Shell.java:289)
    at kawa.Shell.run(Shell.java:196)
    at kawa.Shell.run(Shell.java:183)
    at kawa.repl.processArgs(repl.java:724)
    at kawa.repl.main(repl.java:830)

Damien

On Thu, Nov 2, 2023 at 10:59 PM Per Bothner <per@bothner.com> wrote:
>
>
>
> On 11/2/23 14:51, Damien Mattei wrote:
> > seems a good idea but i can not fix it, i try:
> > (import (rename (gnu kawa) (proc orig-proc)))
> ...
> > Exception in thread "main" java.lang.VerifyError: Bad local variable type
>
> That is probably a bug in the Kawa code generator.
> I'm unlikely to have time to debug that.  Certainly not without a
> simplified simple-to-reproduce test-case. Even with a good test-case, this
> is part of Kawa I haven't looked at in a long time, and I'm busy with other projects.
> --
>         --Per Bothner
> per@bothner.com   http://per.bothner.com/