call-effect-unsafe? ( quot effect -- ? )

Vocabulary

compiler.tree.propagation.call-effect

Inputs

quot	a quotation
effect	an effect

Outputs

?

a boolean

Word description

Checks if the given effect is safe with regards to the quotation.

Definition

USING: effects kernel kernel.private ;

IN: compiler.tree.propagation.call-effect

: call-effect-unsafe? ( quot effect -- ? )
    [ cached-effect ] dip over +unknown+ eq?
    [ 2drop f ] [ [ { effect } declare ] dip effect<= ] if ;
    inline