slots<= ( info1 info2 -- ? )

Vocabulary

compiler.tree.propagation.info

Inputs

info1	an object
info2	an object

Outputs

?

an object

Definition

USING: accessors classes.algebra compiler.utilities kernel
sequences ;

IN: compiler.tree.propagation.info

: slots<= ( info1 info2 -- ? )
    2dup [ class>> ] bi@ class<
    [ 2drop t ] [
        [ slots>> ] bi@ f pad-tail-shorter
        [ value-info<= ] 2all?
    ] if ;