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.
Source for ticket #449
cc
changetime
2012-10-09 21:58:22
component
WG1 - Core
description
R7RS currently says:
Within a program, each imported library is loaded at least once, and, if imported by more than one program or library, may possibly be loaded additional times.
Richard Kelsey thinks this is too liberal, and proposes:
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` forms in which it appears.
Aaron Hsu, however, thinks this is too restrictive, and proposes (backed up by actual R6RS implementations):
If a library's definitions are referenced in the expanded form of a program or library body, then that library must be loaded before the expanded program or library body is evaluated. This rule applies transitively.
Similarly, during the expansion of a library, if a syntax keyword imported from a library is needed to expand the library, then the imported library must be visited before the expansion of the importing library.
id
449
keywords
milestone
owner
cowan
priority
major
reporter
cowan
resolution
fixed
severity
status
closed
summary
Clarify library loading rules
time
2012-07-02 10:26:55
type
defect
Changes
Change at time 2012-10-09 21:58:22
author
cowan
field
comment
newvalue
oldvalue
3
raw-time
1349794702345699
ticket
449
time
2012-10-09 21:58:22
Change at time 2012-10-09 21:58:22
author
cowan
field
resolution
newvalue
fixed
oldvalue
raw-time
1349794702345699
ticket
449
time
2012-10-09 21:58:22
Change at time 2012-10-09 21:58:22
author
cowan
field
status
newvalue
closed
oldvalue
writing
raw-time
1349794702345699
ticket
449
time
2012-10-09 21:58:22
Change at time 2012-08-27 06:33:55
author
cowan
field
comment
newvalue
oldvalue
2
raw-time
1346024035874952
ticket
449
time
2012-08-27 06:33:55
Change at time 2012-08-27 06:33:55
author
cowan
field
owner
newvalue
cowan
oldvalue
alexshinn
raw-time
1346024035874952
ticket
449
time
2012-08-27 06:33:55
Change at time 2012-08-27 06:33:55
author
cowan
field
status
newvalue
writing
oldvalue
decided
raw-time
1346024035874952
ticket
449
time
2012-08-27 06:33:55
Change at time 2012-08-27 01:01:17
author
cowan
field
comment
newvalue
WG1 voted to adopt Hsu's proposal.
oldvalue
1
raw-time
1346004077959983
ticket
449
time
2012-08-27 01:01:17
Change at time 2012-08-27 01:01:17
author
cowan
field
status
newvalue
decided
oldvalue
new
raw-time
1346004077959983
ticket
449
time
2012-08-27 01:01:17