normalize-integer-result ( class interval -- class' interval' )

Vocabulary

compiler.tree.propagation.known-words

Inputs

class	an object
interval	an object

Outputs

class'	an object
interval'	an object

Definition

USING: classes.algebra compiler.tree.propagation.info kernel
math ;

IN: compiler.tree.propagation.known-words

: normalize-integer-result
    ( class interval -- class' interval' )
    over null-class? [
        over integer class<= [
            over fixnum class<=
            [ nip dup fits-in-fixnum? fixnum integer ? swap ]
            unless
        ] when
    ] unless ;