intersect-slots ( info1 info2 -- slots )

Vocabulary

compiler.tree.propagation.info

Inputs

info1	an object
info2	an object

Outputs

slots

an object

Definition

USING: accessors combinators kernel sequences ;

IN: compiler.tree.propagation.info

: intersect-slots ( info1 info2 -- slots )
    [ slots>> ] bi@ {
        { [ dup not ] [ drop ] }
        { [ over not ] [ nip ] }
        [
            2dup [ length ] same?
            [ [ intersect-slot ] 2map ] [ 2drop f ] if
        ]
    } cond ;