declare-input-effects ( word -- )

Vocabulary

stack-checker.backend

Inputs

word

an object

Outputs

None

Definition

USING: accessors effects kernel sequences ;

IN: stack-checker.backend

:: declare-input-effects ( word -- )
    H{ } clone :> variables
    V{ } clone :> branches word stack-effect in>> <reversed> [|
    in n |
        in ?quotation-effect [| effect |
            word effect variables branches n declare-effect-d
        ] when*
    ] each-index ;