compose-effects* ( effect1 effect2 -- effect' )

Vocabulary

compiler.tree.propagation.call-effect

Inputs

effect1	an object
effect2	an object

Outputs

effect'

an object

Definition

USING: combinators effects kernel ;

IN: compiler.tree.propagation.call-effect

: compose-effects* ( effect1 effect2 -- effect' )
    {
        { [ 2dup [ effect? ] both? ] [ compose-effects ] }
        {
            [ 2dup [ +unknown+ eq? ] either? ]
            [ 2drop +unknown+ ]
        }
    } cond ;