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

Joseph Donaldson <[email protected]> Mon, 27 May 2024 18:12:49 +0000 (UTC)
Newsgroups gmane.lisp.scheme.bigloo
Message-ID <[email protected]>
------=_Part_4782995_1211307367.1716833569176
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit

 https://github.com/manuel-serrano/bigloo/pull/117Hello, Manuel,



Thanks for the quick turn around. By the way, when you have a chance, can you take a look at this small pull-request? It corrects a small error in the SSL library that prevents it from compiling with gcc 14. 

Thanks Again,Joseph Donaldson

    On Monday, May 27, 2024 at 02:04:17 AM PDT, [email protected] <[email protected]> wrote:  
 
 Hi Joseph,

> 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
Argg, I got the subtyping relationship pair/epair reversed in the compiler.
We are lucking that the JVM spotted it! I have fixed it and upload a new
version. Thank you very much!

-- 
Manuel
  
------=_Part_4782995_1211307367.1716833569176
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<html><head></head><body><div class=3D"ydp99c4cfa8yahoo-style-wrap" style=
=3D"font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:13px=
;"><div></div>
        <div dir=3D"ltr" data-setdir=3D"false"><a href=3D"https://github.co=
m/manuel-serrano/bigloo/pull/117" class=3D"">https://github.com/manuel-serr=
ano/bigloo/pull/117</a>Hello, Manuel,</div><div><br></div><div><br></div><d=
iv><br></div><div dir=3D"ltr" data-setdir=3D"false"><br></div><div dir=3D"l=
tr" data-setdir=3D"false">Thanks for the quick turn around. By the way, whe=
n you have a chance, can you take a look at this small <a href=3D" ">pull-r=
equest</a>? It corrects a small error in the SSL library that prevents it f=
rom compiling with gcc 14. <br></div><div dir=3D"ltr" data-setdir=3D"false"=
><br></div><div dir=3D"ltr" data-setdir=3D"false">Thanks Again,</div><div d=
ir=3D"ltr" data-setdir=3D"false">Joseph Donaldson<br></div><div><br></div>
       =20
        </div><div id=3D"ydp7ec8bcd9yahoo_quoted_7205800981" class=3D"ydp7e=
c8bcd9yahoo_quoted">
            <div style=3D"font-family:'Helvetica Neue', Helvetica, Arial, s=
ans-serif;font-size:13px;color:#26282a;">
               =20
                <div>
                        On Monday, May 27, 2024 at 02:04:17 AM PDT, Manuel.=
[email protected] &lt;[email protected]&gt; wrote:
                    </div>
                    <div><br></div>
                    <div><br></div>
               =20
               =20
                <div><div dir=3D"ltr">Hi Joseph,<br></div><div dir=3D"ltr">=
<br></div><div dir=3D"ltr">&gt; Hello, Manuel,<br></div><div dir=3D"ltr">&g=
t; I noticed jvm validation errors being reported for the procedure list-te=
mplate with recent unstable versions of Bigloo. See below. Reverting the ch=
ange resolved the errors, but I suspect that the original change was made f=
or a good reason. Can you take a look? To be specific, the change was intro=
duced in this commit to comptime/Type/typeof.scm. Let me know if there is a=
nything I can do to assist.<br></div><div dir=3D"ltr">&gt; <br></div><div d=
ir=3D"ltr">&gt; <br></div><div dir=3D"ltr">&gt; *** ERROR:java.lang.VerifyE=
rror:<br></div><div dir=3D"ltr">&gt; (class: bigloo/runtime/Eval/expdquote,=
 method: BgL_listzd2templatezd2 signature: (Ljava/lang/Object;Lbigloo/pair;=
)Ljava/lang/Object;) Incompatible type for getting or setting field -- #uns=
pecified<br></div><div dir=3D"ltr">&gt; Thanks,Joseph Donaldson<br></div><d=
iv dir=3D"ltr">Argg, I got the subtyping relationship pair/epair reversed i=
n the compiler.<br></div><div dir=3D"ltr">We are lucking that the JVM spott=
ed it! I have fixed it and upload a new<br></div><div dir=3D"ltr">version. =
Thank you very much!<br></div><div dir=3D"ltr"><br></div><div dir=3D"ltr">-=
- <br></div><div dir=3D"ltr">Manuel<br></div></div>
            </div>
        </div></body></html>
------=_Part_4782995_1211307367.1716833569176--