verify-types ( superclass member-assoc -- )

Vocabulary

classes.enumeration.private

Inputs

superclass	an object
member-assoc	an object

Outputs

None

Definition

USING: assocs classes classes.enumeration kernel words ;

IN: classes.enumeration.private

: verify-types ( superclass member-assoc -- )
    [ drop dup "enum-elt-value" word-prop ] assoc-map
    [ pick instance? not nip ] assoc-find
    [ swap incorrect-type-in-enum-value ] [ 3drop ] if* ;