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 #458
cc
changetime
2012-08-27 00:54:10
component
WG1 - Core
description
There have been a bunch of complaints about the formal semantics: it's no longer up to date, it has been incomplete since the beginning, it cannot be mechanized with a proof assistant, it doesn't help either users or implementers very much, and so on. See in particular #453.
This proposal is to remove it from the report altogether, and to urge the Steering Committee to create a new WG to produce one, likely in a "rolling" style with increasingly comprehensive releases, on its own schedule. Some members of the current WG have expressed interest in serving on such a group, and others have expressed their complete lack of interest, so a new WG seems the best choice if this is done.
id
458
keywords
milestone
owner
alexshinn
priority
major
reporter
cowan
resolution
wontfix
severity
status
closed
summary
Remove the formal semantics from the report
time
2012-07-07 01:24:22
type
defect
Changes
Change at time 2012-08-27 00:54:10
author
cowan
field
comment
newvalue
oldvalue
2
raw-time
1346003650478790
ticket
458
time
2012-08-27 00:54:10
Change at time 2012-08-27 00:54:10
author
cowan
field
resolution
newvalue
wontfix
oldvalue
raw-time
1346003650478790
ticket
458
time
2012-08-27 00:54:10
Change at time 2012-08-27 00:54:10
author
cowan
field
status
newvalue
closed
oldvalue
decided
raw-time
1346003650478790
ticket
458
time
2012-08-27 00:54:10
Change at time 2012-08-27 00:53:59
author
cowan
field
comment
newvalue
WG1 voted to retain the formal semantics.
oldvalue
1
raw-time
1346003639974590
ticket
458
time
2012-08-27 00:53:59
Change at time 2012-08-27 00:53:59
author
cowan
field
status
newvalue
decided
oldvalue
new
raw-time
1346003639974590
ticket
458
time
2012-08-27 00:53:59