[R6RS] libraries

[William D Clinger]

Matthew wrote:
> When you don't distinguish phases, you can end up referencing at phase
> n a binding from library X, where X is not in the transitive closure of
> the phase-n imports.

When you don't distinguish phases, it would be enough
for X to be in the transitive closure of the imports
(which may be a larger set than the phase-n imports).

I would like to understand this problem.  Does the
problem arise because a library may import a variable
only for run time, when it should have imported the
variable for expand time as well?

Will