Handbook
Glossary
mod-merge-classes/intervals ( c1 c2 i1 i2 -- c3 i3 )
Vocabulary
compiler
.
tree
.
propagation
.
known-words
Inputs
c1
an
object
c2
an
object
i1
an
object
i2
an
object
Outputs
c3
an
object
i3
an
object
Definition
USING:
classes.algebra
kernel
math
math.intervals
;
IN:
compiler.tree.propagation.known-words
:
mod-merge-classes/intervals
( c1 c2 i1 i2 -- c3 i3 )
[
merge-classes
dup
bignum
=
[
drop
integer
]
when
]
[
interval-mod
]
2bi*
over
integer
class<=
[
integral-closure
dup
fixnum-interval
interval-subset?
[
nip
fixnum
swap
]
when
]
when
;