6.12.15 Expression return value violations

Condition Type: &expression-return-value-violation

Condition object type representing invalid values returned from an expression; it is derived from &assertion.

Function: make-expression-return-value-violation

Build and return a new condition object of type &expression-return-value-violation.

Function: expression-return-value-violation? obj

Return #t if obj is a condition object of type &expression-return-value-violation; otherwise return #f.

Function: expression-return-value-violation who message retval-index irritant …

Raise a compound condition object as non–continuable exception with component types: &who, &message, &irritants, &expression-return-value-violation, &one-based-return-value-index.