usethesource / flybytes

Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.
BSD 2-Clause "Simplified" License
16 stars 6 forks source link

Moved to the latest rascal and rascal-plugin release #27

Open DavyLandman opened 2 months ago

DavyLandman commented 2 months ago

@jurgenvinju & @PaulKlint I think rascal-core is finding a few errors that might not be errors:

apart from that, for @jurgenvinju to pickup, there are quite some errors where the overloads have different return types. In this PR I fixed a few of the type errors that where easy to fix, but these I'll leave for you.

jurgenvinju commented 2 months ago

I fixed those return type things last week on a local branch. So I'll merge that a.s.a.p.

DavyLandman commented 2 months ago

@jurgenvinju & @PaulKlint the code now typechecks, there are now 2 errors in the tests.

DavyLandman commented 5 days ago

@jurgenvinju this one is ready for merging I think.