call-outputs-quot ( #call word -- infos )

Vocabulary

compiler.tree.propagation.simple

Inputs

#call	a #call
word	a word

Outputs

infos

a sequence

Word description

Calls the word's "outputs" quotation to determine the output sequence of value infos, given the input sequence.

Definition

USING: accessors compiler.tree.propagation.info continuations
kernel sequences words ;

IN: compiler.tree.propagation.simple

: call-outputs-quot ( #call word -- infos )
    dupd
    [ in-d>> [ value-info ] map ] [ "outputs" word-prop ] bi*
    with-datastack check-outputs ;