unify-branches ( ins stacks -- in phi-in phi-out )

Vocabulary

stack-checker.branches

Inputs

ins	an object
stacks	an object

Outputs

in	an object
phi-in	an object
phi-out	an object

Definition

USING: assocs kernel namespaces sequences ;

IN: stack-checker.branches

: unify-branches ( ins stacks -- in phi-in phi-out )
    zip
    [ 0 { } { } ] [
        [ keys maximum ] [ ] [ balanced? ] tri
        [ dupd phi-inputs dup phi-outputs ] [
            [ combinator get quotations get ] dip
            simple-unbalanced-branches-error
        ] if
    ] if-empty ;