infer-children ( node -- )

Vocabulary

compiler.tree.propagation.branches

Inputs

node

an object

Outputs

None

Definition

USING: compiler.tree.propagation.constraints
compiler.tree.propagation.nodes kernel namespaces sequences ;

IN: compiler.tree.propagation.branches

: infer-children ( node -- )
    [ live-children ] [ child-constraints ] bi [
        [
            over
            [ copy-value-info assume (propagate) ]
            [ 2drop no-value-info ] if collect-variables
        ] with-scope
    ] 2map infer-children-data set ;