Documentation
Propagation for straight-line code
Words
Tuple classes
Ordinary words
Class predicate words
Files
Metadata files
Propagation for straight-line code
Words
Tuple classes
| Class | Superclass | Slots |
 invalid-outputs |  tuple | #call infos |
Ordinary words
| Word | Stack effect |
| (fold-call) | ( #call word -- info ) |
| call-outputs-quot | ( #call word -- infos ) |
| check-outputs | ( #call infos -- infos ) |
| compute-constraints | ( #call word -- ) |
| custom-constraints | ( #call quot -- ) |
| default-output-value-infos | ( #call word -- infos ) |
| fold-call | ( #call word -- ) |
| foldable-call? | ( #call word -- ? ) |
| input-classes-match? | ( #call word -- ? ) |
| invalid-outputs | ( #call infos -- * ) |
| literal-inputs? | ( #call -- ? ) |
| output-value-infos | ( #call word -- infos ) |
| predicate-constraints | ( value class boolean-value -- constraint ) |
| predicate-output-infos | ( info class -- info ) |
| predicate-output-infos/class | ( info class -- info ) |
| predicate-output-infos/literal | ( info class -- info ) |
| propagate-alien-invoke | ( node -- ) |
| propagate-input-infos | ( node infos/f -- ) |
| propagate-predicate | ( #call word -- infos ) |
Class predicate words
| Word | Stack effect |
| invalid-outputs? | ( object -- ? ) |
Files
resource:basis/compiler/tree/propagation/simple/simple.factor
resource:basis/compiler/tree/propagation/simple/simple-docs.factor
resource:basis/compiler/tree/propagation/simple/simple-tests.factor
resource:basis/compiler/tree/propagation/simple/simple-docs.factor
resource:basis/compiler/tree/propagation/simple/simple-tests.factor
Metadata files