From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ej1-x62c.google.com (mail-ej1-x62c.google.com [IPv6:2a00:1450:4864:20::62c]) by sourceware.org (Postfix) with ESMTPS id 86D973858D32 for ; Fri, 3 Nov 2023 10:42:40 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 86D973858D32 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 86D973858D32 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::62c ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699008171; cv=none; b=otuTBl40xaq3Nt78PjlQsD6tndvXImESiQ/cZZAx182YFAY6476l+Ztj6YK05u0btIfijaGrD90lkSGHVANboOTMLCnX4T7PTLudnEJ6PFLSPcBhCcyMAEOAjBuJofVtGwpsZJOqYTByqcAJtjXkAZMPVhvAllwB1N0SO8mo8Wg= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699008171; c=relaxed/simple; bh=JcjTmbchxA3TEUHS/YUYQ49BCZfYFeyVpzYkZ9eb4/s=; h=DKIM-Signature:MIME-Version:From:Date:Message-ID:Subject:To; b=SPgF/chWSjNSgQHqArTkxqCW/GxtOW6jUGE1ICSlstz50lgHVsxdvGVVe/3UClvEnGEbQyNlTB6cadXAiOw1phhLXMzLTzeZFkUH7hGvIYzMPE5nxa3QFIwUxcFGP5iz+V02mpRZPS48++WxwybhOthY3BY9kC3yKMbAdCAI94U= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-ej1-x62c.google.com with SMTP id a640c23a62f3a-9be3b66f254so277572666b.3 for ; Fri, 03 Nov 2023 03:42:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1699008159; x=1699612959; darn=sourceware.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=g7I9wZ9kYiJIRH6i9Oo8WsMw8C7cLVfbkRik0tseIHg=; b=QAIke0sMSVieu/nx26WG8N7ToPm92Mx1QgrKBAJdYicgD+o5oV9Lh7fiexpbxWP1BF vWRHN6EjfBhwdKlqy+7vFnEEiZqnW+V+ulCdPzx5zJ2jGCblMQbXC6ILO2yZSatto5hn D3zgGxphUmCsU3GPH1v9Tyc5ZhqJ74sf2q8qV024u3zzEjDQupWS58Mdg0IMV3NroFFp 9JTfPcjOXLnHJS3/bD1WpCx8hjYnATMjKZJIs7d/Pysc+4QeC67kYYlUMe9K8355dv3N f6wpEGCwFwrt0P9MF/iFETDs6E1KVuSWJovBch35M6H4MAuQ7fKDjJpix7kdZYlXrZoH 9EGw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1699008159; x=1699612959; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=g7I9wZ9kYiJIRH6i9Oo8WsMw8C7cLVfbkRik0tseIHg=; b=sviXqcTrepmTOSbKSBIxn0/cAys3maz1LDJZE9ic4dk7MbVd/yUCgA/uBx9b3UYAW+ adAQsP0fHfqwkjcjBzQFAwhT3Viqzjd5qvhqjN3uRV9Vy+/8QbSGrcifQcmTyDYPzdth 64Nnorcq85XngXY9sGt6ajk/uWS02LXCkhgWsDFIJWl286W2MPh/zF5yFcbh4nfDMJ/8 VlFVbBs7J4Vg5dJ04Z8iE/XGxMc6Dj3xQHwwGMsd20CgAyE7QrK9Ac8CndapQFo/smXJ O9tGVuDd28Gys+yp5P02wJi+Yj8tiHBJqI3cSv6/BoZ98438rE+qy4Gju+y3TAGZlP6x veeQ== X-Gm-Message-State: AOJu0YyEez+Y50ECgYytTocwNwC4G2arlJ8ZrZvQKQptrTpHixA1j5or MYA2Xoe8Z8ecbr0M4s2pNf6/sBQ8zCKA8VtBEKEfN1FBOUI= X-Google-Smtp-Source: AGHT+IE/R86dJwdHdBmqkQSROGzRViuXWd4trSZrZ1IqT1kJFeVg3++WAd79wtQz2Ulic/fIySjZt+919BImmKBKDBE= X-Received: by 2002:a17:906:db0e:b0:9d3:8d1e:cee with SMTP id xj14-20020a170906db0e00b009d38d1e0ceemr7240366ejb.70.1699008158955; Fri, 03 Nov 2023 03:42:38 -0700 (PDT) MIME-Version: 1.0 References: <436b231e-bb91-4515-a2cf-7baca3a5a359@bothner.com> In-Reply-To: <436b231e-bb91-4515-a2cf-7baca3a5a359@bothner.com> From: Damien Mattei Date: Fri, 3 Nov 2023 11:42:27 +0100 Message-ID: Subject: Re: unbound location: * To: Per Bothner Cc: kawa mailing list Content-Type: multipart/mixed; boundary="000000000000c93ee306093d29d3" X-Spam-Status: No, score=-0.6 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: --000000000000c93ee306093d29d3 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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=3D"." #|kawa:1|# (load "main-test-define.scm") main-test-define.scm:4:1: duplicate version reference - was # main-test-define.scm:4:1: unknown library (#) #|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=E2=80=AFPM Per Bothner 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 ty= pe > > 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, thi= s > is part of Kawa I haven't looked at in a long time, and I'm busy with oth= er projects. > -- > --Per Bothner > per@bothner.com http://per.bothner.com/ --000000000000c93ee306093d29d3 Content-Type: application/octet-stream; name="main-test-define.scm" Content-Disposition: attachment; filename="main-test-define.scm" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_loihiozb0 OzsocmVxdWlyZSBvdmVybG9hZCkKKHJlcXVpcmUgdGVzdC1kZWZpbmUpCgooZGVmaW5lLW92ZXJs b2FkLWV4aXN0aW5nLW9wZXJhdG9yICspCgoob3ZlcmxvYWQtZXhpc3Rpbmctb3BlcmF0b3IgKyB2 ZWN0b3ItYXBwZW5kICh2ZWN0b3I/IHZlY3Rvcj8pKQoKCihkZWZpbmUgcnYgKCsgIygxIDIpICMo MyA0IDUpKSkKKG5ld2xpbmUpIChkaXNwbGF5ICJydj0iKSAoZGlzcGxheSBydikgKG5ld2xpbmUp Cgo= --000000000000c93ee306093d29d3 Content-Type: application/octet-stream; name="test-define.scm" Content-Disposition: attachment; filename="test-define.scm" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_loihj2ou1 KG1vZHVsZS1uYW1lIHRlc3QtZGVmaW5lKQoKKHJlcXVpcmUgJ3NyZmktMSkKCihyZXF1aXJlICdz cmZpLTY5KQoKOzsocmVxdWlyZSBpbmZpeC1vcGVyYXRvcnMpCgooZXhwb3J0IGRlZmluZS1vdmVy bG9hZC1leGlzdGluZy1vcGVyYXRvcgoJb3ZlcmxvYWQtZXhpc3Rpbmctb3BlcmF0b3IpCgk7Oysp CgoKKGRlZmluZSAoY2hlY2stYXJndW1lbnRzIHByZWQtbGlzdCBhcmdzKQogIChpZiAoPSAobGVu Z3RoIHByZWQtbGlzdCkgKGxlbmd0aCBhcmdzKSkKICAgICAgKGxldCAoKHByZWQtYXJnLWxpc3Qg KG1hcCBjb25zIHByZWQtbGlzdCBhcmdzKSkpCgk7OyhhbmRtYXAgKGxhbWJkYSAocCkgKChjYXIg cCkgKGNkciBwKSkpCgk7OyByZXBsYWNlIGFuZG1hcCB3aXRoIGV2ZXJ5IGluIEd1aWxlCgkoZXZl cnkgKGxhbWJkYSAocCkgKChjYXIgcCkgKGNkciBwKSkpCgkgICAgICAgcHJlZC1hcmctbGlzdCkp CiAgICAgICNmKSkKCgoKKGRlZmluZS1zeW50YXggZGVmaW5lLW92ZXJsb2FkLWV4aXN0aW5nLW9w ZXJhdG9yCgogIChzeW50YXgtcnVsZXMgKCkKCiAgICAoKF8gcHJvYykKCiAgICAgKGJlZ2luCgog ICAgICAgKGltcG9ydCAocmVuYW1lICh0ZXN0LWRlZmluZSkgKHByb2Mgb3JpZy1wcm9jKSkpCiAg ICAgICA7OyhpbXBvcnQgKHJlbmFtZSAoZ251IGthd2EpIChwcm9jIG9yaWctcHJvYykpKQogICAg ICAgOzsocmVxdWlyZSAocmVuYW1lLWluIHJhY2tldC9iYXNlIChwcm9jCiAgICAgICAJOzsJCQkg ICAgICAgIG9yaWctcHJvYykpKQoKICAgICAgIChkaXNwbGF5ICJwcm9jID0iKSAoZGlzcGxheSBw cm9jKSAobmV3bGluZSkKICAgICAgIChkaXNwbGF5ICJvcmlnLXByb2MgPSIpIChkaXNwbGF5IG9y aWctcHJvYykgKG5ld2xpbmUpCiAgICAgICAKICAgICAgIChkZWZpbmUgcXByb2MgKHF1b3RlIHBy b2MpKSAKICAgICAgIAogICAgICAgKGRlZmluZSAocHJvYyAuIGFyZ3MtbHN0KQoKCSA7OyhkaXNw bGF5ICJwcm9jPSIpIChkaXNwbGF5IHByb2MpIChuZXdsaW5lKQoJIDs7KGRlZmluZSBodCAoaGFz aC10YWJsZS0+YWxpc3QgJG92cmxkLWh0JCkpCgkgOzsoZGlzcGxheSBodCkgKG5ld2xpbmUpCgoK CSAoZGVmaW5lIHByb2MtbHN0IChoYXNoLXRhYmxlLXJlZiAkb3ZybGQtaHQkIHFwcm9jKSkgOzsg IGV4YW1wbGU6ICgobnVtYmVyPyBzdHJpbmc/KSAobGFtYmRhIChuIHMpIChkaXNwbGF5IG4pIChk aXNwbGF5IHMpIChuZXdsaW5lKSkpCgkgOzsoZGlzcGxheSAicHJvYy1sc3Q9IikgKGRpc3BsYXkg cHJvYy1sc3QpCgkgOzsobmV3bGluZSkKCSAKCSAoZGVmaW5lIChjaGVjay1hcmdzLWxzdCBwcmVk LWxpc3QpIDsgY2hlY2sgYXJndW1lbnRzIGxpc3QgbWF0Y2ggcHJlZGljYXRlcwoJICAgOzsoZGlz cGxheSAicHJlZC1saXN0PSIpIChkaXNwbGF5IHByZWQtbGlzdCkgKG5ld2xpbmUpCgkgICA7Oyhk aXNwbGF5ICJhcmdzLWxzdD0iKSAoZGlzcGxheSBhcmdzLWxzdCkgKG5ld2xpbmUpCgkgICAoY2hl Y2stYXJndW1lbnRzIHByZWQtbGlzdCBhcmdzLWxzdCkpCgoKCgkgKGRlZmluZSAodGVzdC1wcm9j IHByZWQtcHJvYy1saXN0KSA7IHRlc3QgdGhlIHByb2NlZHVyZSBpZiBpdCBtYXRjaGVzIHdpdGgg YXJndW1lbnRzCgkgICA7OyhkaXNwbGF5ICJwcmVkLXByb2MtbGlzdD0iKSAoZGlzcGxheSBwcmVk LXByb2MtbGlzdCkgKG5ld2xpbmUpCgkgICAoaWYgKGNoZWNrLWFyZ3MtbHN0IChjYXIgcHJlZC1w cm9jLWxpc3QpKSA7OyBjaGVjayBhcmdzCgkgICAgICAgKGNhciAoY2RyICBwcmVkLXByb2MtbGlz dCkpIDs7IHJldHVybiBwcm9jZWR1cmUKCSAgICAgICAjZikpCgoJIAoJIChkZWZpbmUgcHJvYy1z ZWFyY2gtcmVzdWx0IChvcm1hcCB0ZXN0LXByb2MgcHJvYy1sc3QpKSA7IHNlYXJjaCBmb3IgYSBw cm9jZWR1cmUgbWF0Y2hpbmcgYXJndW1lbnRzCgoJIAoJIDs7KGRpc3BsYXkgInByb2Mtc2VhcmNo LXJlc3VsdD0iKSAoZGlzcGxheSBwcm9jLXNlYXJjaC1yZXN1bHQpIChuZXdsaW5lKQoJIAoJIChj b25keCAocHJvYy1zZWFyY2gtcmVzdWx0IChhcHBseSBwcm9jLXNlYXJjaC1yZXN1bHQgYXJncy1s c3QpKQoJCShleGVjCgkJIChkZWZpbmUgbmItYXJncyAobGVuZ3RoIGFyZ3MtbHN0KSkpCgkJKCg+ IG5iLWFyZ3MgMikgICA7OyhkaXNwbGF5ICI+MiBhcmdzIikgKG5ld2xpbmUpCgkJIChwcm9jIChj YXIgYXJncy1sc3QpIChhcHBseSBwcm9jIChjZHIgYXJncy1sc3QpKSkpCgkJKGVsc2UKCQkgOzso ZGlzcGxheSAiZWxzZSIpIChuZXdsaW5lKQoJCSAoYXBwbHkgb3JpZy1wcm9jIGFyZ3MtbHN0KSkp KQogICAgICAgCiAgICAgICA7OyhoYXNoLXRhYmxlLXNldCEgJG92cmxkLWh0JCBxcHJvYyAobGlz dCAobGlzdCAobGlzdCBudW1iZXI/IG51bWJlcj8pIG9yaWctcHJvYykpKQogICAgICAgKGhhc2gt dGFibGUtc2V0ISAkb3ZybGQtaHQkIHFwcm9jICcoKSkKCiAgICAgICA7OyhyZXBsYWNlLW9wZXJh dG9yISBvcmlnLXByb2MgcHJvYykKICAgICAgIAogICAgICAgKSkpKSAKCgoKCihkZWZpbmUtc3lu dGF4IG92ZXJsb2FkLWV4aXN0aW5nLW9wZXJhdG9yCiAgCiAgKHN5bnRheC1ydWxlcyAoKQoKICAg ICgoXyBvcmlnLWZ1bmN0IGZ1bmN0IChwcmVkLWFyZzEgLi4uKSkKCiAgICAgKG92ZXJsb2FkIG9y aWctZnVuY3QgZnVuY3QgKHByZWQtYXJnMSAuLi4pKSkpKQoKCihkZWZpbmUtc3ludGF4IG92ZXJs b2FkCgogIChzeW50YXgtcnVsZXMgKCkKCiAgICA7OyBhcmd1bWVudHMgYXJlIGZ1bmN0aW9uIHRv IGJlIG92ZXJsb2FkZWQsIHByb2NlZHVyZSB0aGF0IGRvIHRoZSBvdmVybG9hZGluZywgbGlzdCBv ZiBwcmVkaWNhdGUgdG8gY2hlY2sgdGhlIGFyZ3VtZW50cwoKICAgICgoXyBvcmlnLWZ1bmN0IGZ1 bmN0IChwcmVkLWFyZzEgLi4uKSkKCiAgICAgKGxldCogKChxb3JpZy1mdW5jdCAocXVvdGUgb3Jp Zy1mdW5jdCkpCgkgICAgKG92cmxkLWxzdCAoaGFzaC10YWJsZS1yZWYgJG92cmxkLWh0JCBxb3Jp Zy1mdW5jdCkpKQogICAgICAgOzsoZGlzcGxheSBxb3JpZy1mdW5jdCkgKG5ld2xpbmUpCiAgICAg ICAoaGFzaC10YWJsZS1zZXQhICRvdnJsZC1odCQgcW9yaWctZnVuY3QKCQkJKGNvbnMgKGxpc3Qg KGxpc3QgcHJlZC1hcmcxIC4uLikgOzsgZXhhbXBsZTogKChudW1iZXI/IHN0cmluZz8pIChsYW1i ZGEgKG4gcykgKGRpc3BsYXkgbikgKGRpc3BsYXkgcykgKG5ld2xpbmUpKSkKCQkJCSAgICBmdW5j dCkKCQkJICAgICAgb3ZybGQtbHN0KSkpKSkpCiAJIAoK --000000000000c93ee306093d29d3--