Summary
Propagation rules for certain known words

Words

Ordinary words

Word	Stack effect
(comparison-constraints)	( in1 in2 op -- constraint )
binary-op	( word interval-quot post-proc-quot -- )
binary-op-class	( info1 info2 -- newclass )
binary-op-interval	( info1 info2 quot -- newinterval )
cloned-value-info	( value-info -- value-info' )
comparison-constraints	( in1 in2 out op -- constraint )
define-comparison-constraints	( word op -- )
ensure-math-class	( class must-be -- class' )
fits-in-fixnum?	( interval -- ? )
fixnum-valued	( class interval -- class' interval' )
float-valued	( class interval -- class' interval' )
fold-comparison	( info1 info2 word -- info )
info-classes-intersect?	( info1 info2 -- ? )
info-intervals-intersect?	( info1 info2 -- ? )
integer-valued	( class interval -- class' interval' )
math-closure	( class -- newclass )
may-be-rational	( class interval -- class' interval' )
may-overflow	( class interval -- class' interval' )
maybe-or-never	( ? -- info )
merge-classes	( class1 class2 -- class3 )
mod-merge-classes/intervals	( c1 c2 i1 i2 -- c3 i3 )
mod-outputs-info	( info1 info2 fixer-word -- info3 )
number-valued	( class interval -- class' interval' )
propagate-resize-fixed-length-sequence	( n-info in-info class -- out-info )
real-valued	( class interval -- class' interval' )
shift-op	( word interval-quot post-proc-quot -- )
shift-op-class	( info1 info2 -- newclass )
unary-op	( word interval-quot post-proc-quot -- )
unary-op-class	( info -- newclass )
unary-op-interval	( info quot -- newinterval )
won't-overflow?	( class interval -- ? )

Files


Metadata files