update-constraints ( new old -- )

Vocabulary

compiler.tree.propagation.branches

Inputs

new	an object
old	an object

Outputs

None

Definition

USING: assocs sets ;

IN: compiler.tree.propagation.branches

:: update-constraints ( new old -- )
    new
    [| key value | key old [ value union ] change-at ]
    assoc-each ;