Summary
stack-checker.row-polymorphism vocabulary

Words

Ordinary words
WordStack 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