search

manuel-serrano / bigloo

a practical Scheme compiler
http://www-sop.inria.fr/indes/fp/Bigloo
Other
138 stars 19 forks source link

Introduce a checkcast instruction to placate java verifier #121

Closed donaldsonjw closed 1 month ago

donaldsonjw commented 1 month ago

recent updates to the jvm verifier have made it stricter than before, requiring the addition of (checkcast pair) in main before calling bigloo_main.

manuel-serrano commented 1 month ago

Interesting. We are currently working on a wasm backend and we noticed that some type casts were missing and some that some expressions were not correctly typed. Fixing those might have trigger the new JVM errors. Anyway, thanks for the fixes.