Summary
Hard-coded stack effects for primitive words
Meta-data
Words
Generic words
Ordinary words
Files
Hard-coded stack effects for primitive words
Meta-data
| Authors: | Slava Pestov, Daniel Ehrenberg |
Words
Generic words
| Word | Stack effect |
 infer-call* | ( value known -- ) |
Ordinary words
| Word | Stack effect |
 (infer-call) | ( value -- ) |
| check-declaration | ( declaration -- declaration ) |
| define-primitive | ( word inputs outputs -- ) |
| infer-2dip | ( -- ) |
| infer-3dip | ( -- ) |
| infer-<tuple-boa> | ( -- ) |
| infer-builder | ( quot word -- ) |
| infer-call | ( -- ) |
| infer-call-effect | ( word -- ) |
| infer-call-effect-unsafe | ( -- ) |
| infer-compose | ( -- ) |
| infer-curry | ( -- ) |
| infer-declare | ( -- ) |
| infer-dip | ( -- ) |
| infer-drop-locals | ( -- ) |
| infer-effect-unsafe | ( word -- ) |
| infer-execute | ( -- ) |
| infer-execute-effect-unsafe | ( -- ) |
| infer-get-local | ( -- ) |
| infer-load-local | ( -- ) |
| infer-load-locals | ( -- ) |
| infer-local-reader | ( word -- ) |
| infer-local-writer | ( word -- ) |
| infer-ndip | ( word n -- ) |
| infer-shuffle | ( shuffle -- ) |
| infer-shuffle-word | ( word -- ) |
| infer-special | ( word -- ) |
| non-inline-word | ( word -- ) |
Files