1.177.2 Send methods

type ->initialise: name=name, kind=[name], context=[any], supers=[chain*]

Create a new type object. Name is the name of the type and should not already exist (see also type<-lookup). After creation, the type is object->protect’ed and a mapping from the type type<-fullname to the type object is added to the hash_table object @types. The arguments are:

• name type<-fullname of the new type. This name will be added to the type name-table and must be unique.
• type<-kind Determines the validate and translate behaviour (the interpretation of the context).
• type<-context The context value. See type->kind for details
• type<-supers Alternative types of datums accepted

  Types are normally created by converting names (see type<-convert) or type<-copy to create synonym names for a complex type.

  See also

  - type<-convert
  - type<-copy

type ->validate: unchecked, [object]*

Validate that the argument can be accepted as satisfying this type. First activates the type<-validate_function. When this fails, it requests the super-types to validate the argument.

See also

- type<-check
- type<-translate