infer-special ( word -- )

Vocabulary

stack-checker.known-words

Inputs

word

a word

Outputs

None

Word description

Performs inferencing of a word with the "special" property set.

Definition

USING: combinators kernel namespaces stack-checker.values words
;

IN: stack-checker.known-words

: infer-special ( word -- )
    [ current-word set ]
    [ "special" word-prop ( -- ) call-effect ] bi ;