check-call-effect ( quot effect -- )

Vocabulary

combinators.private

Inputs

quot	an object
effect	an object

Outputs

None

Definition

IN: combinators.private

GENERIC#: check-call-effect 1 ( quot effect -- )

Methods

USING: combinators.private compiler.tree.propagation.call-effect
quotations ;

M: callable check-call-effect check-known-call-effect ;


USING: combinators.private kernel ;

M: object check-call-effect 2drop ;