William D Clinger
will at ccs.neu.edu
Fri Aug 18 08:10:59 EDT 2006
> 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?
More information about the R6RS