On page 21: "In a module declaration, the same identier may not be imported more than once"
I would suggest adding "with different bindings" since it often happens that we import the same binding multiple times indirectly. For example, we may import (BASE) and we may also import user modules that reexport some bindings from (BASE). _______________________________________________ Scheme-reports mailing list [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
