literals<= ( info1 info2 -- ? )

Vocabulary

compiler.tree.propagation.info

Inputs

info1	an object
info2	an object

Outputs

?

an object

Definition

USING: accessors combinators kernel ;

IN: compiler.tree.propagation.info

: literals<= ( info1 info2 -- ? )
    {
        { [ dup literal?>> not ] [ 2drop t ] }
        { [ over literal?>> not ] [ drop class>> null-class? ] }
        [ [ literal>> ] bi@ eql? ]
    } cond ;