Handbook
Glossary
value-info-union ( info1 info2 -- info )
Value info data type and operations
Prev:
value-info<= ( info1 info2 -- ? )
Next:
value-infos-union ( infos -- info )
Vocabulary
compiler
.
tree
.
propagation
.
info
Inputs
info1
an
object
info2
an
object
Outputs
info
an
object
Definition
USING:
accessors
combinators
kernel
;
IN:
compiler.tree.propagation.info
:
value-info-union
( info1 info2 -- info )
{
{
[
dup
class>>
null-class?
]
[
drop
]
}
{
[
over
class>>
null-class?
]
[
nip
]
}
[
(value-info-union)
]
}
cond
;