compiler.tree.propagation.recursive vocabulary
Factor handbook » Vocabulary index

Documentation
Propagation for inline recursive combinators

Metadata

Parents:

compiler.tree.propagation

Words

Ordinary words

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

resource:basis/compiler/tree/propagation/recursive/recursive.factor
resource:basis/compiler/tree/propagation/recursive/recursive-docs.factor
resource:basis/compiler/tree/propagation/recursive/recursive-tests.factor

Metadata files

resource:basis/compiler/tree/propagation/recursive/summary.txt