stack-checker.state vocabulary
Factor handbook » Vocabulary index

Documentation
Variables for holding stack effect inference state

Metadata

Authors:

Slava Pestov

Words

Symbol words

(meta-d)

(meta-r)

inner-d-index

input-count

literals

terminated?

Ordinary words

Word	Stack effect
(push-literal)	( obj -- )
check-effect	( required-effect -- )
commit-literals	( -- )
current-effect	( -- effect )
current-stack-height	( -- n )
init-inference	( -- )
meta-d	( -- stack )
meta-r	( -- stack )

Files

resource:basis/stack-checker/state/state.factor
resource:basis/stack-checker/state/state-docs.factor
resource:basis/stack-checker/state/state-tests.factor

Metadata files

resource:basis/stack-checker/state/authors.txt
resource:basis/stack-checker/state/summary.txt