Summary
Metadata
Words
Ordinary words
Files
Metadata
| Parents: | stack-checker |
Words
Ordinary words
| Word | Stack effect |
 (balance-actual-depth) | ( declared actual -- depth/f ) |
| (balance-by) | ( effect n -- effect' ) |
| (check-variable) | ( actual-count declared-count variable vars -- diff ? ) |
| (check-variables) | ( vars declared actual -- ? ) |
| (diff-variable) | ( diff variable vars -- diff' ) |
| (effect-here) | ( inner-d old-meta-d-length old-input-count -- effect ) |
| adjust-variable | ( diff var vars -- ) |
| balance-actual | ( declared actual -- declared actual' ) |
| check-declared-effect | ( known effect -- ) |
| check-variable | ( vars declared actual slot var-slot -- diff ok? var ) |
| check-variables | ( vars declared actual -- ? ) |
| combinator-branches-effects | ( branches -- quots declareds actuals ) |
| combinator-unbalanced-branches-error | ( known -- * ) |
| unify-variables | ( in-diff in-ok? in-var out-diff out-ok? out-var vars -- ? ) |
| with-effect-here | ( quot -- effect ) |
| with-inner-d | ( quot -- inner-d ) |
Files