[PATCH] Fix #1649 by using '* as return value type if foreign type has a retconv procedure

[Peter Bex]

Hi all,

Here's a relatively simple fix for #1649 with tests.  Note that the patch
seems pretty big in support.scm, but it's mostly an indentation change
due to the added "if".  I didn't actually change the body of
foreign-type->scrutiny-type except for sticking an "if" in front.

I noticed that currently there's no way to have only argument conversion
or only return value conversion with define-foreign-type.  At first
glance, it looks like this assumption is not too deep.  We could try to
improve the situation by storing #f as the retconv/argconv slot of the
foreign type in these sitations.

On the other hand, to me it doesn't seem very useful to have conversion
only in one direction, so I think for 5.2 it's enough to have the fix as
attached.

Cheers,
Peter

0001-Don-t-infer-types-for-foreign-lambdas-from-foreign-t.patch
Description: Text Data

signature.asc
Description: PGP signature