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

Vocabulary

compiler.tree.propagation.call-effect

Inputs

quot	a callable
effect	an effect

Outputs

None

Word description

Rejects a callable whose known effect is incompatible with the call site, before it executes. If inference cannot determine its effect, leaves validation to the runtime stack check.

Definition

USING: compiler.tree.propagation.call-effect.private kernel
namespaces ;

IN: compiler.tree.propagation.call-effect

: check-known-call-effect ( quot effect -- )
    checking-call-effect? get
    [ 2drop ] [
        t checking-call-effect?
        [ (check-known-call-effect) ] with-variable
    ] if ;