union-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 kernel ;

IN: compiler.tree.propagation.info

: union-literals ( info1 info2 -- literal literal? )
    2dup [ literal?>> ] both?
    [ [ literal>> ] bi@ 2dup eql? [ drop t ] [ 2drop f f ] if ]
    [ 2drop f f ] if ;