i forgot a few definitions and include file in the previous post.
It is okay now with the new attachments.
Damien

On Fri, Nov 3, 2023 at 11:42 AM Damien Mattei <damien.mattei@gmail.com> wrote:
>
> 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/