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