check-branch ( nodes -- stack )

Vocabulary

compiler.tree.checker

Inputs

nodes

an object

Outputs

stack

an object

Definition

USING: kernel namespaces ;

IN: compiler.tree.checker

: check-branch ( nodes -- stack )
    [
        datastack [ clone ] change V{ } clone retainstack set
        (check-stack-flow) terminated? get
        [ assert-retainstack-empty ] unless
        terminated? get f datastack get ?
    ] with-scope ;