[Chicken-hackers] [PATCH][5] Minor lfa2 improvements wrt ffi arguments

[lemonboy]

Hello hackers,
here's a small patch that instructs the lfa2 pass how to get rid of some type
checks on the arguments passed to the ffi stubs when we can safely recover the
argument types at compile time.

This is meant to simplify the arguably common case where the arguments are
constant literals.

I've covered the simple ones mostly because the lfa2 type checker is pretty
limited and because I wasn't too sure about the future of the srfi-4 vectors in
core.

Cheers,
LemonBoy

0001-Elide-pointless-type-checks-in-the-lfa2-pass.patch
Description: Text Data