[R6RS] Modules, a second question

[Manuel Serrano]

Richard wrote,

> Manuel's original question was whether (import foo) requires
> evaluating foo's top-level forms even if nothing from foo is
> referenced in the final program.  If the top-level forms have
> to be evaluated no matter what then the static analysis gets
> harder.  To drop foo's top-level forms from the image it isn't
> enough to show that nothing from foo is referenced.  You also
> have to show that foo's top-level forms have no observable side
> effects.
> 
> Not having any module system has the same problem.  Manuel's
> suggestion, a separate 'import' ('import-library', perhaps)
> that has the 'evaluate only if referenced' semantics would
> offer a work around.
Yes. That's exactly my point. Thanks Richard.

-- 
Manuel