check-cross-frame-call ( call-site -- )

Vocabulary

compiler.tree.recursive.private

Inputs

call-site

an object

Outputs

None

Definition

USING: accessors combinators.short-circuit kernel namespaces
sequences ;

IN: compiler.tree.recursive.private

: check-cross-frame-call ( call-site -- )
    label>> dup not-a-loop?
    [ drop ] [
        recursive-nesting get <reversed> [
            2dup label>> eq?
            [ 2drop f ] [
                { [ label>> not-a-loop? ] [ tail?>> not ] } 1||
                [ not-a-loop changed? on ] [ drop ] if t
            ] if
        ] with all? drop
    ] if ;