generalize-return-interval ( info -- info' )

Vocabulary

compiler.tree.propagation.recursive

Inputs

info

an object

Outputs

info'

an object

Definition

USING: accessors combinators.short-circuit
compiler.tree.propagation.info kernel ;

IN: compiler.tree.propagation.recursive

: generalize-return-interval ( info -- info' )
    dup { [ literal?>> ] [ class>> null-class? ] } 1||
    [ clone dup class>> class-interval >>interval ] unless ;