stack-checker.branches vocabulary
Factor handbook > Vocabulary index


Summary
Stack effect inference for conditionals

Meta-data
Authors:Slava Pestov


Words

Generic words
WordStack effect
curried/composed?( known -- ? )
infer-branch( literal -- namespace )


Symbol words
+bottom+
+top+
combinator
quotations


Ordinary words
WordStack effect
(infer-if)( branches -- )
active-variable( seq symbol -- seq )
balanced?( pairs -- ? )
branch-variable( seq symbol -- seq )
collect-variables( -- hash )
compute-phi-function( seq -- )
copy-inference( -- )
datastack-phi( seq -- phi-in phi-out )
declare-if-effects( -- )
infer-branches( branches -- input children data )
infer-dispatch( -- )
infer-if( -- )
pad-with-bottom( seq -- newseq )
phi-inputs( max-input-count pairs -- newseq )
phi-outputs( phi-in -- stack )
remove-bottom( seq -- seq' )
simple-unbalanced-branches-error( word quots branches -- * )
terminate-branches( seq -- )
terminated-phi( seq -- terminated )
unify-branches( ins stacks -- in phi-in phi-out )
unify-inputs( max-input-count input-count meta-d -- new-meta-d )
unify-values( values -- phi-out )


Files