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

--=-=-=
Content-Type: text/plain
Content-Transfer-Encoding: quoted-printable

Hi Joseph,

> Hello, Manuel,
> I noticed jvm validation errors being reported for the procedure list-tem=
plate with recent unstable versions of Bigloo. See below. Reverting the cha=
nge resolved the errors, but I suspect that the original change was made fo=
r a good reason. Can you take a look? To be specific, the change was introd=
uced in this commit to comptime/Type/typeof.scm. Let me know if there is an=
ything I can do to assist.
>=20
>=20
> *** ERROR:java.lang.VerifyError:
> (class: bigloo/runtime/Eval/expdquote, method: BgL_listzd2templatezd2 sig=
nature: (Ljava/lang/Object;Lbigloo/pair;)Ljava/lang/Object;) Incompatible t=
ype 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!

=2D-=20
Manuel

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQEzBAEBCgAdFiEELgdDMTtUx/Mxl41xMMxQ5DtOwukFAmZUTI4ACgkQMMxQ5DtO
wumLZAgA0jClcOSxMtbaXRumdbnI7BuNDyoT9Zn6ZYZ6E1Lw98kHDFkHcJHvn4Co
lqbzrbkcmNJvEAJS6v5H8pJ/M1qxGpykTz8lCYlqhcTSPb1aUHm3M1d77NPWZMVb
+xIAE/EQX02fCjYZ3hKCYOt6Eq2SOTMCUuyqEHN6VIbB/KhSgQkTHh4HaPIQfTot
xGn9L4719he3mdzaBCsFFmhG9RInv7QI0dG2O4JaUp5s3Fgb1dYCuDzRYgsTvDqg
9/ZAyq63c5n6+AT1uyupzueAH0/IVKDAfkkLkYblSkA93mMUA/BTqv1of4Z7miyq
lwilEXlX6f316YCk51WOC26XMwQfZA==
=kmbR
-----END PGP SIGNATURE-----
--=-=-=--