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


Vocabulary
compiler.tree.propagation.simple

Inputs
infoan object
classan object


Outputs
infoan object


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

IN: compiler.tree.propagation.simple

: predicate-output-infos/literal ( info class -- info )
[ literal>> ] dip [ instance? <literal-info> ] 2curry
[ drop object-info ] recover ;