value-info-slot ( slot info -- info' )

Vocabulary

compiler.tree.propagation.slots

Inputs

slot	an object
info	an object

Outputs

info'

an object

Definition

USING: accessors combinators compiler.tree.propagation.info
kernel math sequences ;

IN: compiler.tree.propagation.slots

: value-info-slot ( slot info -- info' )
    {
        { [ over 0 = ] [ 2drop fixnum <class-info> ] }
        { [ dup literal?>> ] [ literal>> literal-info-slot ] }
        [ [ 1 - ] [ slots>> ] bi* ?nth ]
    } cond [ object-info ] unless* ;