megane wrote: > Marco Maggi <mrc....@gmail.com> 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 _______________________________________________ Chicken-users mailing list Chicken-users@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-users