Documentation
Stack effect checking
Meta-data
Words
Generic words
Ordinary words
Files
Children from resource:basis
Stack effect checking
Meta-data
| Tags: | tools, compiler |
| Authors: | Slava Pestov |
Words
Generic words
| Word | Stack effect |
 infer | ( quot -- effect ) |
Ordinary words
| Word | Stack effect |
 infer. | ( quot -- ) |
Files
Children from resource:basis
| Vocabulary | Summary |
 stack-checker.alien | Stack effect inference for alien calls |
| stack-checker.backend | Stack effect inference implementation |
| stack-checker.branches | Stack effect inference for conditionals |
| stack-checker.dependencies | stack-checker.dependencies vocabulary |
| stack-checker.errors | Errors which may be reaised by stack effect inference |
| stack-checker.inlining | Stack effect inference for inline and inline recursive words |
| stack-checker.known-words | Hard-coded stack effects for primitive words |
| stack-checker.recursive-state | Tracking word nesting during stack effect inference |
| stack-checker.row-polymorphism | stack-checker.row-polymorphism vocabulary |
| stack-checker.state | Variables for holding stack effect inference state |
| stack-checker.transforms | Support for compile-time code transformation |
| stack-checker.values | Abstract stack checker values |
| stack-checker.visitor | Node visitor protocol |