init-literal-info ( info -- info )


Vocabulary
compiler.tree.propagation.info

Inputs
infoan object


Outputs
infoan object


Definition
USING: accessors combinators kernel math math.intervals ;

IN: compiler.tree.propagation.info

: init-literal-info ( info -- info )
empty-interval >>interval
dup literal>> literal-class >>class dup literal>> {
{ [ dup real? ] [ [a,a] >>interval ] }
{ [ dup tuple? ] [ tuple-slot-infos >>slots ] }
{ [ dup fixed-length? ] [ slots-with-length >>slots ] }
[ drop ]
} cond ; inline