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


Summary
Stack effect inference for inline and inline recursive words

Metadata
Authors:Slava Pestov


Words

Tuple classes
ClassSuperclassSlots
inline-recursive identity-tupleid word enter-out enter-recursive return calls fixed-point introductions loop?


Generic words
WordStack effect
(undeclared-known)( value -- known )


Symbol words
enter-in
enter-out


Ordinary words
WordStack effect
(inline-recursive-word)( word -- label in out visitor terminated? )
<inline-recursive>( word -- label )
adjust-stack-effect( effect -- effect' )
call-recursive-inline-word( word label -- )
call-site-stack( label -- stack )
check-call( label -- )
check-call-height( label -- )
check-call-site-stack( label -- )
check-return( word label -- )
emit-enter-recursive( label -- )
end-recursive-word( word label -- )
entry-stack-height( label -- stack )
infer-inline-word-def( word label -- )
inline-recursive-word( word -- )
inline-word( word -- )
inlined-block?( word -- ? )
make-copies( values effect-in -- values' )
prepare-stack( word -- )
quotation-param?( obj -- ? )
recursive-word-inputs( label -- n )
trim-stack( label seq -- stack )
trimmed-enter-out( label -- stack )
undeclared-known( value -- known )


Class predicate words
WordStack effect
inline-recursive?( object -- ? )


Files


Metadata files