Handbook
Glossary
fold-comparison ( info1 info2 word -- info )
Vocabulary
compiler
.
tree
.
propagation
.
known-words
Inputs
info1
an
object
info2
an
object
word
an
object
Outputs
info
an
object
Definition
USING:
accessors
combinators
compiler.tree.comparisons
compiler.tree.propagation.info
kernel
math.intervals
;
IN:
compiler.tree.propagation.known-words
:
fold-comparison
( info1 info2 word -- info )
[
[
interval>>
]
bi@
]
dip
interval-comparison
{
{
incomparable
[
object-info
]
}
{
t
[
t
<literal-info>
]
}
{
f
[
f
<literal-info>
]
}
}
case
;