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

Vocabulary

stack-checker.branches

Inputs

ins	an object
stacks	an object
actuals	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 actuals -- in phi-in phi-out )
    ins stacks zip
    [ 0 { } { } ] [
        [ keys maximum ] [ ] [ balanced? ] tri
        [ dupd phi-inputs dup phi-outputs ] [
            2drop
            combinator get quotations get actuals
            simple-unbalanced-branches-error
        ] if
    ] if-empty ;