stack-checker.recursive-state vocabulary
Factor handbook ยป Vocabulary index


Summary
Tracking word nesting during stack effect inference

Words

Tuple classes
ClassSuperclassSlots
recursive-state tuplequotations inline-words


Ordinary words
WordStack effect
<recursive-state>( -- state )
add-inline-word( word label -- rstate )
add-local-quotation( rstate quot -- rstate )
inline-recursive-label( word -- label/f )
recursive-quotation?( quot -- ? )


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


Files


Metadata files


Children from resource:basis
VocabularySummary
stack-checker.recursive-state.treeSimple binary tree