Documentation
Variables for holding stack effect inference state
Metadata
Words
Symbol words
Ordinary words
Files
Metadata files
Variables for holding stack effect inference state
Metadata
| Parents: | stack-checker |
| Authors: | Slava Pestov |
Words
Symbol words
 (meta-d) |
| (meta-r) |
| inner-d-index |
| input-count |
| literals |
| terminated? |
Ordinary words
| Word | Stack effect |
 (push-literal) | ( obj -- ) |
| check-effect | ( required-effect -- ) |
| commit-literals | ( -- ) |
| current-effect | ( -- effect ) |
| current-stack-height | ( -- n ) |
| init-inference | ( -- ) |
| meta-d | ( -- stack ) |
| meta-r | ( -- stack ) |
Files
resource:basis/stack-checker/state/state.factor
resource:basis/stack-checker/state/state-docs.factor
resource:basis/stack-checker/state/state-tests.factor
resource:basis/stack-checker/state/state-docs.factor
resource:basis/stack-checker/state/state-tests.factor
Metadata files