(refine-value-info) ( info value assoc -- )


Vocabulary
compiler.tree.propagation.info

Inputs
infoan object
valuean object
assocan object


Outputs
None

Definition
USING: assocs compiler.tree.propagation.copy kernel sequences ;

IN: compiler.tree.propagation.info

: (refine-value-info) ( info value assoc -- )
[ resolve-copy ] dip
[ assoc-stack [ value-info-intersect ] when* ] 2keep
last set-at ;