chicken-hackers
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Chicken-hackers] [PATCH][5] The other part of the FFI improvements


From: Peter Bex
Subject: Re: [Chicken-hackers] [PATCH][5] The other part of the FFI improvements
Date: Mon, 10 Jul 2017 14:01:43 +0200
User-agent: NeoMutt/20170113 (1.7.2)

On Mon, Jul 10, 2017 at 01:48:27PM +0200, lemonboy wrote:
> On 10 Jul, Peter Bex wrote:
> > I'm a bit concerned about the patch itself though.  For one, in the interest
> > of modularity and code layout, I think all type annotations on variables
> > should _only_ be made by the scrutinizer.  It's the scrutinizer's job to
> > assign types, not anything else's.
> > 
> We have to translate the ffi types into something the scrutinizer understands
> and we have to do that somewhere. Building ##core#the expression during the
> expansion proved to be a not-so-wise choice so I thought that producing the 
> type
> annotation when the stub itself is brought to life was a sensible choice.

Sure, this is a fine place to determine the foreign types.  It might even
be the right place to convert those foreign types to CHICKEN types, but
IMO only the scrutinizer should be putting that property on the stub-id
symbol, so that part is iffy.

Cheers,
Peter

Attachment: signature.asc
Description: PGP signature


reply via email to

[Prev in Thread] Current Thread [Next in Thread]