compiler.tree.propagation.recursive vocabulary
Factor handbook ยป Vocabulary index


Documentation
Propagation for inline recursive combinators

Words

Ordinary words
WordStack effect
check-fixed-point( node infos1 infos2 -- )
counter-class( interval class -- class' )
generalize-counter( info' initial -- info )
generalize-counter-interval( interval initial-interval class -- interval' )
generalize-return( infos -- infos' )
generalize-return-interval( info -- info' )
latest-input-infos( node -- infos )
propagate-recursive-phi( #enter-recursive -- )
recursive-phi-infos( node -- infos )
recursive-stacks( #enter-recursive -- stacks initial )
return-infos( node -- infos )
save-return-infos( node infos -- )
unify-recursive-stacks( stacks initial -- infos )
unless-loop( node quot -- )


Files


Metadata files