intersect-literals ( info1 info2 -- literal literal? )

Vocabulary

compiler.tree.propagation.info

Inputs

info1	an object
info2	an object

Outputs

literal	an object
literal?	an object

Definition

USING: accessors combinators kernel ;

IN: compiler.tree.propagation.info

: intersect-literals ( info1 info2 -- literal literal? )
    {
        { [ dup literal?>> not ] [ drop >literal< ] }
        { [ over literal?>> not ] [ nip >literal< ] }
        { [ 2dup [ literal>> ] bi@ eql? not ] [ 2drop f f ] }
        [ drop >literal< ]
    } cond ;