check-effect ( quot word -- )

Vocabulary

compiler.tree.propagation.transforms

Inputs

quot	an object
word	an object

Outputs

None

Definition

USING: effects kernel stack-checker ;

IN: compiler.tree.propagation.transforms

: check-effect ( quot word -- )
    2dup [ infer ] [ stack-effect ] bi* effect<=
    [ 2drop ] [ bad-partial-eval ] if ;