output-value-infos ( #call word -- infos )

Vocabulary

compiler.tree.propagation.simple

Inputs

#call	a #call
word	a word

Outputs

infos

a sequence

Word description

Computes what the output value infos for a #call node should be.

See also

value-info-state

Definition

USING: classes classes.tuple.private combinators
compiler.tree.propagation.slots kernel words ;

IN: compiler.tree.propagation.simple

: output-value-infos ( #call word -- infos )
    {
        {
            [ dup \ <tuple-boa> eq? ]
            [ drop propagate-<tuple-boa> ]
        }
        {
            [ dup sequence-constructor? ]
            [ propagate-sequence-constructor ]
        }
        { [ dup predicate? ] [ propagate-predicate ] }
        { [ dup "outputs" word-prop ] [ call-outputs-quot ] }
        [ default-output-value-infos ]
    } cond ;