value-info-intersect ( info1 info2 -- info )


Vocabulary
compiler.tree.propagation.info

Inputs
info1an object
info2an object


Outputs
infoan object


Definition
USING: accessors combinators kernel ;

IN: compiler.tree.propagation.info

: value-info-intersect ( info1 info2 -- info )
{
{ [ dup class>> null-class? ] [ nip ] }
{ [ over class>> null-class? ] [ drop ] }
[ (value-info-intersect) ]
} cond ;