declare-runtime-effects ( word -- )

Vocabulary

compiler.tree.builder.private

Inputs

word

an object

Outputs

None

Definition

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

IN: compiler.tree.builder.private

:: declare-runtime-effects ( word -- )
    word required-stack-effect :> effect word inline? effect
    variable-effect? or
    [ ] [
        effect in>> [
            ?quotation-effect dup
            [ dup variable-effect? [ drop f ] when ] when
        ] map :> effects effects [ ] any? [
            effects length ensure-d effects [| value effect/f |
                effect/f
                [ <runtime-effect> value set-known ] when*
            ] 2each
        ] when
    ] if ;