[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-users] on generating types files for compound libraries of
Re: [Chicken-users] on generating types files for compound libraries of multiple modules
Wed, 14 Aug 2019 14:18:31 +0200
> 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:
> 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)
>> (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.