unify-recursive-stacks ( stacks initial -- infos )

Vocabulary

compiler.tree.propagation.recursive

Inputs

stacks	an object
initial	an object

Outputs

infos

an object

Definition

USING: compiler.tree.propagation.info kernel sequences ;

IN: compiler.tree.propagation.recursive

: unify-recursive-stacks ( stacks initial -- infos )
    over empty?
    [ nip ] [
        [
            [ value-infos-union ] dip
            [ generalize-counter ] keep value-info-union
        ] 2map
    ] if ;