Summary
Stack effect inference for conditionals

Metadata

Parents:	stack-checker
Authors:	Slava Pestov

Words

Generic words

Word	Stack effect
curried/composed?	( known -- ? )
infer-branch	( literal -- namespace )

Symbol words

+bottom+

+top+

combinator

quotations

Ordinary words

Word	Stack 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


Metadata files