Summary
Stack effect inference for inline and inline recursive words

Metadata

Parents:	stack-checker
Authors:	Slava Pestov

Words

Tuple classes

Class	Superclass	Slots
inline-recursive	identity-tuple	id word enter-out enter-recursive return calls fixed-point introductions loop?

Generic words

Word	Stack effect
(undeclared-known)	( value -- known )

Symbol words

enter-in

enter-out

Ordinary words

Word	Stack 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

Word	Stack effect
inline-recursive?	( object -- ? )

Files


Metadata files