stack-checker.recursive-state vocabulary - Factor Documentation (original) (raw)
stack-checker.recursive-state vocabulary
Factor handbook » Vocabulary index
Summary
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 |
|---|---|
 |
( -- 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 |