propagate-predicate ( #call word -- infos )

Vocabulary

compiler.tree.propagation.simple

Inputs

#call	a #call
word	a word

Outputs

infos

a sequence

Word description

We need to force the caller word to recompile when the class is redefined, since now we're making assumptions but the class definition itself.

Definition

USING: accessors arrays compiler.tree.propagation.info kernel
sequences stack-checker.dependencies words ;

IN: compiler.tree.propagation.simple

: propagate-predicate ( #call word -- infos )
    [ in-d>> first value-info ] [ "predicating" word-prop ] bi*
    [ nip +conditional+ depends-on ]
    [ predicate-output-infos 1array ] 2bi ;