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


Vocabulary
compiler.tree.propagation.simple

Inputs
#calla #call
worda word


Outputs
infosa 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 ;