This is a Formal Response to Formal Comment #430:

clarify library loading rules

The WG voted to accept this proposal, with the caveat that if an
implementation can prove that none of the identifiers in a library
is referenced in a program, the library need not be loaded by that
program.

If you are dissatisfied with this Formal Response, please let us know.
Thank you for participating in the R7RS process.

--
One art / There is                      John Cowan <cowan@ccil.org>
No less / No more                       http://www.ccil.org/~cowan
All things / To do
With sparks / Galore                     --Douglas Hofstadter

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports