value-info<= ( info1 info2 -- ? )
Value info data type and operations

Prev:	value-info ( value -- info )
Next:	value-info-union ( info1 info2 -- info )

Vocabulary
compiler.tree.propagation.info

Inputs

info1	a value-info-state
info2	a value-info-state

Outputs

?

a boolean

Word description
Checks if the first value info is equal to, or smaller than the second one.

Definition

USING: accessors classes.algebra combinators.short-circuit
kernel math.intervals ;

IN: compiler.tree.propagation.info

: value-info<= ( info1 info2 -- ? )
    [ [ object-info ] unless* ] bi@ {
        [ [ class>> ] bi@ class<= ]
        [ [ interval>> ] bi@ interval-subset? ]
        [ literals<= ]
        [ slots<= ]
    } 2&& ;