unify-values ( values -- phi-out )

Vocabulary

stack-checker.branches

Inputs

values

an object

Outputs

phi-out

an object

Definition

USING: grouping kernel sequences stack-checker.values ;

IN: stack-checker.branches

: unify-values ( values -- phi-out )
    remove-bottom
    [ <value> ] [
        [ known ] map dup all-eq?
        [ first make-known ] [ drop <value> ] if
    ] if-empty ;