15.9.4 Core object–type specifications

The following syntactic bindings are exported by the library (vicare expander).

Record Type: <core-type-spec>

Name of type specifications for core Scheme objects. Instances of this type are the object–type specifications for: <fixnum>, <flonum>, <string>, <list>, et cetera. There may be multiple instances of this type representing the same Scheme object–type.

Instances of this type are internally generated and cannot be built by user code.

Function: core-type-spec? obj

Return #t if obj is an instance of <core-type-spec>; otherwise return #f.

Function: core-type-spec.type-descriptor-id ots

Return a syntactic identifier bound to the instance of <core-type-descriptor> describing run–time features of the object–type.

Function: core-type-spec.parent-and-child? ots1 ots2

Return #t if ots1 and ots2 represent parent and child object–types (respectively); otherwise return #f. Return #f if the operands represent the same object–type.