Handbook
Glossary
stack-checker.recursive-state vocabulary
Factor handbook
ยป
Vocabulary index
Summary
Tracking word nesting during stack effect inference
Words
Tuple classes
Class
Superclass
Slots
recursive-state
tuple
quotations inline-words
Ordinary words
Word
Stack 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
Word
Stack effect
recursive-state?
( object -- ? )
Files
resource:basis/stack-checker/recursive-state/recursive-state.factor
resource:basis/stack-checker/recursive-state/recursive-state-docs.factor
Metadata files
resource:basis/stack-checker/recursive-state/summary.txt
Children from resource:basis
Vocabulary
Summary
stack-checker.recursive-state.tree
Simple binary tree