User Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cl:types:type-error [2017/05/01 21:00] (current)
Line 1: Line 1:
 +====== Condition Type TYPE-ERROR ======
 +
 +====Class Precedence List==== ​
 +**type-error**,​ **[[CL:​Types:​error]]**,​ **[[CL:​Types:​serious-condition]]**,​ **[[CL:​Types:​condition]]**,​ **[[CL:​Types:​t]]**
 +
 +====Description====
 +The type **[[CL:​Types:​type-error]]** represents a situation in which an //​[[CL:​Glossary:​object]]//​ is not of the expected type. The "​offending datum" and "​expected type" are initialized by the initialization arguments named **'':​datum''​** and **'':​expected-type''​** to **[[CL:​Functions:​make-condition]]**,​ and are //​[[CL:​Glossary:​accessed]]//​ by the functions **[[CL:​Functions:​type-error-datum]]** and **[[CL:​Functions:​type-error-expected-type]]**.
 +
 +====See Also====
 +  * **[[CL:​Functions:​type-error-datum|Function TYPE-ERROR-DATUM]]**
 +  * **[[CL:​Functions:​type-error-expected-type|Function TYPE-ERROR-EXPECTED-TYPE]]**
 +