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 335: Specify behavior of default exception handler

2012-04-05 09:38:31
WG1 - Core
alexshinn
major
cowan
wontfix
source
closed
2012-01-21 11:52:12
defect

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.

statusnewdecided

The WG voted to reject this proposal and leave the behavior unspecified.

resolutionwontfix
statusdecidedclosed