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
signature.asc
Description: PGP signature
_______________________________________________ Chicken-hackers mailing list Chicken-hackers@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-hackers