info-intervals-intersect? ( info1 info2 -- ? )

Vocabulary

compiler.tree.propagation.known-words

Inputs

info1	an object
info2	an object

Outputs

?

an object

Definition

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

IN: compiler.tree.propagation.known-words

: info-intervals-intersect? ( info1 info2 -- ? )
    2dup [ class>> real class<= ] both?
    [ [ interval>> ] bi@ intervals-intersect? ] [ 2drop t ] if ;