redundant->fixnum? ( #call -- ? )

Vocabulary

compiler.tree.modular-arithmetic

Inputs

#call

an object

Outputs

?

an object

Definition

USING: accessors combinators.short-circuit
compiler.tree.def-use.simplified sequences ;

IN: compiler.tree.modular-arithmetic

: redundant->fixnum? ( #call -- ? )
    in-d>> first actually-defined-by
    [ value>> { [ modular-value? ] [ fixnum-value? ] } 1&& ]
    all? ;