stack-checker.backend vocabulary
Factor handbook ยป Vocabulary index


Documentation
Stack effect inference implementation

Metadata
Parents:stack-checker
Authors:Slava Pestov


Words

Generic words
WordStack effect
apply-object( obj -- )


Ordinary words
WordStack effect
?quotation-effect( in -- effect/f )
apply-word/effect( word effect -- )
check->r( -- )
consume-d( n -- seq )
consume-r( n -- seq )
consume/produce( ..a effect quot: ( ..a inputs outputs -- ..b ) -- ..b )
declare-effect-d( word effect variables branches n -- )
declare-input-effects( word -- )
end-infer( -- )
ensure-d( n -- values )
infer->r( n -- )
infer-literal-quot( literal -- )
infer-quot( quot rstate -- )
infer-quot-here( quot -- )
infer-r>( n -- )
introduce-values( values -- )
literals-available?( n -- literals ? )
make-values( n -- values )
output-d( values -- )
output-r( seq -- )
peek-d( -- obj )
pop-d( -- obj )
pop-literal( -- obj )
pop-r( -- obj )
produce-d( n -- values )
push-d( obj -- )
push-literal( obj -- )
push-r( obj -- )
required-stack-effect( word -- effect )
shorten-by( n seq -- )
shorten-d( n -- )
terminate( -- )
time-bomb( obj generic -- )
time-bomb-quot( obj generic -- quot )
update-inner-d( new -- )
with-infer( quot -- effect visitor )


Files


Metadata files