check-outputs ( #call infos -- infos )


Vocabulary
compiler.tree.propagation.simple

Inputs
#callan object
infosan object


Outputs
infosan object


Definition
USING: accessors kernel sequences ;

IN: compiler.tree.propagation.simple

: check-outputs ( #call infos -- infos )
over out-d>> over 2length = [ nip ] [ invalid-outputs ] if ;