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