6.12.14 Procedure argument consistency violations

Condition Type: &procedure-arguments-consistency-violation

Condition object type representing a set of inconsistent arguments to a procedure application; it is derived from &procedure-precondition-violation.

Function: make-procedure-arguments-consistency-violation

Build and return a new condition object of type &procedure-arguments-consistency-violation.

Function: procedure-arguments-consistency-violation? obj

Return #t if obj is a condition object of type &procedure-arguments-consistency-violation; otherwise return #f.

Function: procedure-arguments-consistency-violation who message irritant …

Raise a non–continuable exception with compound condition object holding components of type: &who, &message, &irritants, &procedure-arguments-consistency-violation.

Function: procedure-arguments-consistency-violation/failed-expression who message failed-expression irritant …

Like procedure-arguments-consistency-violation and in addition attach to the raised condition object a component with type &failed-expression, using the symbolic failed-expression as argument.