SRFI 12: Exception Handling

by William Clinger, R. Kent Dybvig, Matthew Flatt, and Marc Feeley

status: withdrawn (2000-01-22)

keywords: Control Flow, Exceptions

• The SRFI Document
• Discussion Archive
• Git repo (on GitHub)
• srfi-12@nospamsrfi.schemers.org (subscribers only)
• Subscribe to srfi-12 mailing list

  daily digest?

• Unsubscribe from srfi-12 mailing list

Abstract

The SRFI defines exception-handling constructs for Scheme, including

• the CURRENT-EXCEPTION-HANDLER procedure for obtaining the current exception-handling procedure,
• the WITH-EXCEPTION-HANDLER procedure and HANDLE-EXCEPTIONS form for installing an exception-handling procedure,
• the ABORT and SIGNAL procedures for raising exceptions, and
• constructs for creating and inspecting condition values, which encapsulate information about an exception.

This SRFI requires a Scheme implementation to raise an exception whenever an error is to be signaled or whenever the system determines that evaluation cannot proceed in a manner consistent with the semantics of Scheme. However, this SRFI does not define the information to be supplied by an implementation for each possible kind of exception; such a specification is left open for future SRFIs.