stack-checker.row-polymorphism vocabulary - Factor Documentation (original) (raw)

Summary

Metadata

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

resource:basis/stack-checker/row-polymorphism/row-polymorphism.factor