Documentation
Propagation for inline recursive combinators
Metadata
Words
Ordinary words
Files
Metadata files
Children from resource:basis
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
resource:basis/compiler/tree/propagation/recursive/recursive-docs.factor
resource:basis/compiler/tree/propagation/recursive/recursive-tests.factor
Metadata files
Children from resource:basis
