compute-phi-function ( seq -- )

Vocabulary

stack-checker.branches

Inputs

seq

an object

Outputs

None

Definition

USING: kernel namespaces quotations sequences
stack-checker.visitor ;

IN: stack-checker.branches

: compute-phi-function ( seq -- )
    [ quotation active-variable sift quotations set ]
    [ [ datastack-phi ] [ terminated-phi ] bi #phi, ]
    [ terminate-branches ] tri ;