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 #335
cc
changetime
2012-04-05 09:38:31
component
WG1 - Core
description
If an exception is caught and leaves the current dynamic extent, obviously the after thunk must be run, but an uncaught exception has no semantics and is basically reverting to "is an error" semantics, i.e. nasal demon territory.
Possibly we should tighten this up in the standard, i.e. specify that there is a default exception handler which enters a continuation outside the extent of the whole program before exiting.
id
335
keywords
milestone
owner
alexshinn
priority
major
reporter
cowan
resolution
wontfix
severity
status
closed
summary
Specify behavior of default exception handler
time
2012-01-21 11:52:12
type
defect
Changes
Change at time 2012-04-05 09:38:31
author
cowan
field
comment
newvalue
oldvalue
2
raw-time
1333593511692181
ticket
335
time
2012-04-05 09:38:31
Change at time 2012-04-05 09:38:31
author
cowan
field
resolution
newvalue
wontfix
oldvalue
raw-time
1333593511692181
ticket
335
time
2012-04-05 09:38:31
Change at time 2012-04-05 09:38:31
author
cowan
field
status
newvalue
closed
oldvalue
decided
raw-time
1333593511692181
ticket
335
time
2012-04-05 09:38:31
Change at time 2012-04-05 09:02:27
author
cowan
field
comment
newvalue
The WG voted to reject this proposal and leave the behavior unspecified.
oldvalue
1
raw-time
1333591347835520
ticket
335
time
2012-04-05 09:02:27
Change at time 2012-04-05 09:02:27
author
cowan
field
status
newvalue
decided
oldvalue
new
raw-time
1333591347835520
ticket
335
time
2012-04-05 09:02:27