3.3 Extended predefined condition types

Non–reinstatable condition objects

Condition Kind: &non-reinstatable

Condition object type representing an attempt to reinstate a continuation in an invalid context. This condition type could be defined by:

(define-condition-type &non-reinstatable
    &violation
  make-non-reinstatable-violation
  non-reinstatable-violation?)

Function: make-non-reinstatable-violation

Build and return a new condition object of type &non-reinstatable.

Function: non-reinstatable-violation? obj

Return #t if obj is a condition object of type &non-reinstatable; otherwise return #f.

Function: non-reinstatable-violation who message irritant …

Raise a compound condition object with components: &message, &irritants, &non-reinstatable. In addition, if who is not #f: the raised condition object has a component &who.

This document describes version 0.1.0-devel.1 of MMCK Exceptional Conditions.