init-value-info ( info -- info )


Vocabulary
compiler.tree.propagation.info

Inputs
infoan object


Outputs
infoan object


Definition
USING: accessors kernel math.intervals ;

IN: compiler.tree.propagation.info

: init-value-info ( info -- info )
dup literal?>>
[ init-literal-info ] [
dup empty-set?
[ null >>class empty-interval >>interval ] [
init-interval dup [ class>> ] [ interval>> ] bi
interval>literal [ >>literal ] [ >>literal? ] bi*
[ fix-capacity-class ] change-class
] if
] if ; inline