check-fixed-point ( node infos1 infos2 -- )

Vocabulary

compiler.tree.propagation.recursive

Inputs

node	an object
infos1	an object
infos2	an object

Outputs

None

Definition

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

IN: compiler.tree.propagation.recursive

: check-fixed-point ( node infos1 infos2 -- )
    [ value-info<= ] 2all?
    [ drop ] [ label>> f >>fixed-point drop ] if ;