Parents: | stack-checker |
Word | Stack effect |
![]() | ( declared actual -- depth/f ) |
![]() | ( effect n -- effect' ) |
![]() | ( actual-count declared-count variable vars -- diff ? ) |
![]() | ( vars declared actual -- ? ) |
![]() | ( diff variable vars -- diff' ) |
![]() | ( inner-d old-meta-d-length old-input-count -- effect ) |
![]() | ( diff var vars -- ) |
![]() | ( declared actual -- declared actual' ) |
![]() | ( known effect -- ) |
![]() | ( vars declared actual slot var-slot -- diff ok? var ) |
![]() | ( vars declared actual -- ? ) |
![]() | ( branches -- quots declareds actuals ) |
![]() | ( known -- * ) |
![]() | ( in-diff in-ok? in-var out-diff out-ok? out-var vars -- ? ) |
![]() | ( quot -- effect ) |
![]() | ( quot -- inner-d ) |