check-word-effect ( word -- )

Vocabulary

compiler.tree.builder.private

Inputs

word

an object

Outputs

None

Definition

USING: accessors effects kernel stack-checker.backend
stack-checker.errors stack-checker.row-polymorphism
stack-checker.state words ;

IN: compiler.tree.builder.private

:: check-word-effect ( word -- )
    word required-stack-effect :> effect word inline? effect
    variable-effect? and effect terminated?>> not and [
        H{ } clone effect current-effect check-variables
        [ ] [ current-effect effect effect-error ] if
    ] [ effect check-effect ] if ;