unary-op-interval ( info quot -- newinterval )

Vocabulary

compiler.tree.propagation.known-words

Inputs

info	an object
quot	an object

Outputs

newinterval

an object

Definition

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

IN: compiler.tree.propagation.known-words

: unary-op-interval ( info quot -- newinterval )
    [
        dup class>> real classes-intersect?
        [ interval>> ] [ drop full-interval ] if
    ] dip call ; inline