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

[megane]

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

>
> 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.