>predicate-folding< ( #call -- value-info class result )


Vocabulary
compiler.tree.cleanup

Inputs
#callan object


Outputs
value-infoan object
classan object
resultan object


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

IN: compiler.tree.cleanup

: >predicate-folding< ( #call -- value-info class result )
[ node-input-infos first ]
[ word>> "predicating" word-prop ]
[ node-output-infos first literal>> ] tri ;