Re: [Chicken-users] on generating types files for compound libraries of multiple modules

[Marco Maggi]

megane wrote:

> Marco Maggi <address@hidden> writes:

>> Peter Bex wrote:

>>> On Wed, Aug 14, 2019 at 08:23:51AM +0200, Marco Maggi wrote:

>> 1. Is  there a  way to print  to stderr the  list of  consulted ".types"
>> files?  I do not see such an option in:

>>    http://wiki.call-cc.org/man/5/Using%20the%20compiler

> Giving this to csc should print the consulted .types files: -debug p

Yes.  I see it, thanks.

>> 2.   Let's assume  the  relevant  ".types" files  are  loaded; with  the
>> following pseudo code:  is the type specification of  "the-func" used by
>> the program?

>> (module (the-sub-module)
>>     ()
>>   (import (scheme) (chicken type))
>>   (: the-func (fixnum -> fixnum))
>>   (define (the-func N)
>>     N))

>> (module (the-module)
>>     ()
>>   (import (only (chicken module) reexport))
>>   (reexport (the-sub-module)))

>> (module (the-program)
>>     ()
>>   (import (the-module))
>>   (the-func 123))

> This should work if you -consult-types-file all the relevant modules
> (the-module and the-sub-module) when compiling the-program.

Good.
-- 
Marco Maggi