Summary
Tracking word nesting during stack effect inference
Metadata
Words
Tuple classes
Ordinary words
Class predicate words
Files
Metadata files
Children from resource:basis
Tracking word nesting during stack effect inference
Metadata
| Parents: | stack-checker |
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
resource:basis/stack-checker/recursive-state/recursive-state-docs.factor
Metadata files
Children from resource:basis
| Vocabulary | Summary |
 stack-checker.recursive-state.tree | Simple binary tree |