infer-call-effect ( word -- )

Vocabulary

stack-checker.known-words

Inputs

word

a word

Outputs

None

Word description

Performs inferencing for the call-effect word.

Definition

USING: accessors effects sequences stack-checker.backend
stack-checker.values ;

IN: stack-checker.known-words

: infer-call-effect ( word -- )
    1 ensure-d first literal value>> add-effect-input
    add-effect-input apply-word/effect ;