merge-classes ( class1 class2 -- class3 )

Vocabulary

compiler.tree.propagation.known-words

Inputs

class1	an object
class2	an object

Outputs

class3

an object

Definition

USING: compiler.tree.propagation.info generic.math kernel ;

IN: compiler.tree.propagation.known-words

: merge-classes ( class1 class2 -- class3 )
    2dup [ null-class? ] either?
    [ 2drop null ] [ [ math-closure ] bi@ math-class-max ] if ;