check-call-site-stack ( label -- )

Vocabulary

stack-checker.inlining

Inputs

label

an object

Outputs

None

Definition

USING: accessors kernel sequences stack-checker.errors ;

IN: stack-checker.inlining

: check-call-site-stack ( label -- )
    [ ] [ call-site-stack ] [ trimmed-enter-out ] tri [
        dup undeclared-known
        [ [ undeclared-known ] same? ] [ 2drop t ] if
    ] 2all?
    [ drop ]
    [ word>> inconsistent-recursive-call-error inference-error ]
    if ;