This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

Ticket 441: Make sure a program/library loads any imported libraries at most once

2012-10-07 03:46:09
WG1 - Core
cowan
major
cowan
fixed
source
closed
2012-07-02 04:31:47
defect

Add the following text to the discussion of library loading:

Regardless of the number of times that a library is loaded, each program or library that imports bindings from a library will receive bindings from a single loading of that library, regardless of the number of import or cond-expand declarations in which it appears.

to make it clear that, for example,

(import (prefix (foo) 'foo:)) (import (only (foo) bar))

will cause bar and foo:bar to come from the same instantiation of the library '(foo)'

Note Aaron Hsu argues that we should go in the other direction and loosen the semantics to allow loading (foo) zero times here.

statusnewdecided

WG1 voted to accept the text above.

owneralexshinncowan
statusdecidedwriting
resolutionfixed
statuswritingclosed