check-phi-in ( #phi -- )

Vocabulary

compiler.tree.checker

Inputs

#phi

an object

Outputs

None

Definition

USING: accessors kernel namespaces sequences ;

IN: compiler.tree.checker

: check-phi-in ( #phi -- )
    phi-in-d>> branch-out get [
        dup [
            over length tail* sequence=
            [ "Branch outputs don't match phi inputs" throw ]
            unless
        ] [ 2drop ] if
    ] 2each ;