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


Vocabulary
compiler.tree.propagation.info

Inputs
info1an object
info2an object


Outputs
infoan object


Definition
USING: accessors classes.algebra combinators kernel
math.intervals ;

IN: compiler.tree.propagation.info

: (value-info-intersect) ( info1 info2 -- info )
[ <value-info> ] 2dip {
[ [ class>> ] bi@ class-and >>class ]
[ [ interval>> ] bi@ interval-intersect >>interval ]
[ intersect-literals [ >>literal ] [ >>literal? ] bi* ]
[ intersect-slots >>slots ]
} 2cleave init-value-info ;