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 #158
cc
changetime
2012-10-05 12:40:15
component
WG1 - Core
description
Currently the semantics of calling set! or define
on an imported binding is undefined. Do we
want to specifically make this an error?
id
158
keywords
milestone
owner
alexshinn
priority
major
reporter
alexshinn
resolution
fixed
severity
status
closed
summary
mutating imports
time
2011-04-19 20:33:55
type
defect
Changes
Change at time 2012-10-05 12:40:15
author
cowan
field
comment
newvalue
oldvalue
5
raw-time
1349415615479354
ticket
158
time
2012-10-05 12:40:15
Change at time 2012-10-05 12:40:15
author
cowan
field
resolution
newvalue
fixed
oldvalue
raw-time
1349415615479354
ticket
158
time
2012-10-05 12:40:15
Change at time 2012-10-05 12:40:15
author
cowan
field
status
newvalue
closed
oldvalue
writing
raw-time
1349415615479354
ticket
158
time
2012-10-05 12:40:15
Change at time 2011-07-10 20:41:20
author
alexshinn
field
comment
newvalue
oldvalue
4
raw-time
1310305280000000
ticket
158
time
2011-07-10 20:41:20
Change at time 2011-07-10 20:41:20
author
alexshinn
field
status
newvalue
writing
oldvalue
decided
raw-time
1310305280000000
ticket
158
time
2011-07-10 20:41:20
Change at time 2011-07-10 18:14:33
author
alexshinn
field
comment
newvalue
We voted this is an error.
oldvalue
3
raw-time
1310296473000000
ticket
158
time
2011-07-10 18:14:33
Change at time 2011-07-10 18:14:33
author
alexshinn
field
resolution
newvalue
oldvalue
raw-time
1310296473000000
ticket
158
time
2011-07-10 18:14:33
Change at time 2011-07-10 18:14:33
author
alexshinn
field
status
newvalue
decided
oldvalue
new
raw-time
1310296473000000
ticket
158
time
2011-07-10 18:14:33
Change at time 2011-04-20 06:46:37
author
arcfide
field
comment
newvalue
R6RS, Chez's Modules, and Racket's module forms all, to my knowledge enforce immutability constraints on imported identifiers. I am inclined to think that this is something we want to maintain. I think immutable imports makes more sense both from efficiency and code reasoning perspectives. Otherwise, I think we could have a lot of confusion concerning bindings and evaluation orders when invoking libraries.
oldvalue
2
raw-time
1303256797000000
ticket
158
time
2011-04-20 06:46:37
Change at time 2011-04-19 21:48:12
author
cowan
field
comment
newvalue
I think we want importing bindings to be immutable in a module and mutable at the REPL.
oldvalue
1
raw-time
1303224492000000
ticket
158
time
2011-04-19 21:48:12