call-inlining ( #call -- quot/f )

Vocabulary

compiler.tree.propagation.call-effect

Inputs

#call

an object

Outputs

quot/f

an object

Definition

USING: effects kernel ;

IN: compiler.tree.propagation.call-effect

: call-inlining ( #call -- quot/f )
    top-two dup infer-value [
        pick effect<=
        [ nip value>quot ] [ drop call-effect>quot ] if
    ] [ drop call-effect>quot ] if* ;