(check-known-call-effect) ( quot effect -- )

Vocabulary

compiler.tree.propagation.call-effect.private

Inputs

quot	an object
effect	an object

Outputs

None

Definition

USING: combinators compiler.tree.propagation.call-effect effects
kernel ;

IN: compiler.tree.propagation.call-effect.private

: (check-known-call-effect) ( quot effect -- )
    over cached-effect dup +unknown+ eq?
    [ 3drop ] [ over effect<= [ 2drop ] [ wrong-values ] if ] if
    ;