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 458: Remove the formal semantics from the report

2012-08-27 00:54:10
WG1 - Core
alexshinn
major
cowan
wontfix
source
closed
2012-07-07 01:24:22
defect

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.

statusnewdecided

WG1 voted to retain the formal semantics.

resolutionwontfix
statusdecidedclosed