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

[Peter Bex]

On Fri, Jul 14, 2017 at 01:02:45PM +0200, Peter Bex wrote:
> However, if the derived type is, say (or char fixnum), and we find that
> the predicate C_i_foreign_fixnum_argumentp is used, the final type will
> most definitely _not_ be (or char fixnum), but fixnum (or an error occurs).

Better would be to merge the types so we actually get fixnum as the type.
But doing so would require lfa2 to drag in the scrutinizer's complexity,
while the whole idea of LFA2 is to be a very lightweight final pass.

Cheers,
Peter

signature.asc
Description: PGP signature