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


Documentation
Propagation for straight-line code

Metadata
Parents:compiler.tree.propagation


Words

Tuple classes
ClassSuperclassSlots
invalid-outputs tuple#call infos


Ordinary words
WordStack 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
WordStack effect
invalid-outputs?( object -- ? )


Files


Metadata files