compute-constraints ( #call word -- )

Vocabulary

compiler.tree.propagation.simple

Inputs

#call	an object
word	an object

Outputs

None

Definition

USING: accessors classes compiler.tree.propagation.constraints
kernel sequences words ;

IN: compiler.tree.propagation.simple

: compute-constraints ( #call word -- )
    dup "constraints" word-prop
    [ nip custom-constraints ] [
        dup predicate? [
            [ [ in-d>> first ] [ out-d>> first ] bi ]
            [ "predicating" word-prop ] bi*
            swap predicate-constraints assume
        ] [ 2drop ] if
    ] if* ;