predicate-output-infos/class ( info class -- info )


Vocabulary
compiler.tree.propagation.simple

Inputs
infoan object
classan object


Outputs
infoan object


Definition
USING: accessors classes.algebra compiler.tree.propagation.info
kernel ;

IN: compiler.tree.propagation.simple

: predicate-output-infos/class ( info class -- info )
[ class>> ] dip evaluate-class-predicate
dup +incomparable+ eq?
[ drop object-info ] [ <literal-info> ] if ;