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 > > 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. _______________________________________________ Chicken-users mailing list Chicken-users@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-users