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


Vocabulary
compiler.tree.propagation.slots

Inputs
slotan object
infoan 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* ;