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 429: Include dynamic environment in formal semantics

2012-10-07 12:28:28
WG1 - Core
cowan
major
cowan
fixed
source
closed
2012-06-29 04:55:53
defect

Ideally, the dynamic environment and dynamic-wind would be included in the formal semantics.

cowan
2012-07-11 01:08:34
statusnewdecided

Treating as editorial.

cowan
2012-07-11 01:08:54
owneralexshinncowan
statusdecidedwriting

Alex Shinn wrote this.

cowan
2012-10-07 12:28:28
resolution␣fixed
statuswritingclosed