stack-checker.state vocabulary
Factor handbook ยป Vocabulary index


Documentation
Variables for holding stack effect inference state

Metadata
Parents:stack-checker
Authors:Slava Pestov


Words

Symbol words
(meta-d)
(meta-r)
inner-d-index
input-count
literals
terminated?


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


Metadata files