datastack-phi ( seq -- phi-in phi-out )

Vocabulary

stack-checker.branches

Inputs

seq

an object

Outputs

phi-in	an object
phi-out	an object

Definition

USING: kernel namespaces sequences stack-checker.state vectors ;

IN: stack-checker.branches

: datastack-phi ( seq -- phi-in phi-out )
    [ input-count branch-variable ]
    [ inner-d-index branch-variable minimum inner-d-index set ]
    [ (meta-d) active-variable ] tri unify-branches
    [ input-count set ] [ ] [ dup >vector (meta-d) set ] tri* ;