fits-in-fixnum? ( interval -- ? )

Vocabulary

compiler.tree.propagation.known-words

Inputs

interval

an interval

Outputs

?

a boolean

Word description

Checks if the interval is a subset of the fixnum interval. Used to see if arithmetic may overflow.

Examples

USING: compiler.tree.propagation.known-words math.intervals prettyprint ; full-interval fits-in-fixnum? .
f

Definition

USING: math.intervals ;

IN: compiler.tree.propagation.known-words

: fits-in-fixnum? ( interval -- ? )
    fixnum-interval interval-subset? ;