<type-error>

The class of error conditions generated by type checks.  The recovery protocol is empty.

Exported from

Modifiers

concrete free sealed

Make keywords

value:An instance of <object>.  The object whose type was checked.
exp-type:An instance of <type>.  The type that was expected.  The error was signaled because the object was not of this type.

Superclasses

Functions on <type-error>

The common-dylan module.
Whenever possible, we have tried to keep the Dylan module pristine and unextended, preferring to add our extensions to separate modules or libraries.
The class of all Dylan objects.
The class of all types, including classes and other types.
The class of conditions that represent something invalid about the program.
Returns the expected type of the type check that led to the type error.
Returns the value that was not of the expected type, and thereby led to the type error.