define-typecheck ( class generic quot props -- )

Vocabulary

slots

Inputs

class	a class
generic	a generic word
quot	a quotation
props	an assoc of word properties

Outputs

None

Word description

Defines a generic word with the standard-combination using dispatch position 0, and having one method on class.

This creates a definition analogous to the following code:

GENERIC: generic M: class generic quot ;

It checks if the top of the stack is an instance of class, and if so, executes the quotation.

Notes

This word is used internally to wrap unsafe low-level code in a type-checking stub.

Definition

USING: accessors assocs generic kernel words ;

IN: slots

: define-typecheck ( class generic quot props -- )
    [ create-method ] 2dip
    [ [ props>> ] [ drop ] [ ] tri* assoc-union! drop ]
    [ drop define ] [ 2drop make-inline ] 3tri ;