Recent change to is-subtype? resulting in JVM validation errors

Joseph Donaldson <[email protected]> Sun, 26 May 2024 02:30:43 +0000 (UTC)
Newsgroups gmane.lisp.scheme.bigloo
Message-ID <[email protected]>
------=_Part_4364670_597059082.1716690643052
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit

Hello, Manuel,
I noticed jvm validation errors being reported for the procedure list-template with recent unstable versions of Bigloo. See below. Reverting the change resolved the errors, but I suspect that the original change was made for a good reason. Can you take a look? To be specific, the change was introduced in this commit to comptime/Type/typeof.scm. Let me know if there is anything I can do to assist.


*** ERROR:java.lang.VerifyError:
(class: bigloo/runtime/Eval/expdquote, method: BgL_listzd2templatezd2 signature: (Ljava/lang/Object;Lbigloo/pair;)Ljava/lang/Object;) Incompatible type for getting or setting field -- #unspecified
Thanks,Joseph Donaldson

------=_Part_4364670_597059082.1716690643052
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<html><head></head><body><div class=3D"yahoo-style-wrap" style=3D"font-fami=
ly:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:13px;"><div dir=
=3D"ltr" data-setdir=3D"false">Hello, Manuel,</div><div dir=3D"ltr" data-se=
tdir=3D"false"><br></div><div dir=3D"ltr" data-setdir=3D"false">I noticed j=
vm validation errors being reported for the procedure list-template with re=
cent unstable versions of Bigloo. See below. Reverting the change resolved =
the errors, but I suspect that the original change was made for a good reas=
on. Can you take a look? To be specific, the change was introduced in this =
<a href=3D"https://github.com/manuel-serrano/bigloo/commit/22104cd439040183=
9caf25bc9b77743fbd64996f" class=3D"">commit</a> to comptime/Type/typeof.scm=
. Let me know if there is anything I can do to assist.<br></div><div><br></=
div><div dir=3D"ltr" data-setdir=3D"false"><br></div><div dir=3D"ltr" data-=
setdir=3D"false"><div>*** ERROR:java.lang.VerifyError:<br>(class: bigloo/ru=
ntime/Eval/expdquote, method: BgL_listzd2templatezd2 signature: (Ljava/lang=
/Object;Lbigloo/pair;)Ljava/lang/Object;) Incompatible type for getting or =
setting field -- #unspecified</div></div><div dir=3D"ltr" data-setdir=3D"fa=
lse"><br></div><div dir=3D"ltr" data-setdir=3D"false">Thanks,</div><div dir=
=3D"ltr" data-setdir=3D"false">Joseph Donaldson<br></div></div></body></htm=
l>
------=_Part_4364670_597059082.1716690643052--