compiler.tree.propagation.recursive: Generalizing intervals in the propagation pass ignored types. Fixes #770.
parent
63e55ac813
commit
fe677bac2f
|
@ -91,7 +91,7 @@ M: #recursive propagate-around ( #recursive -- )
|
|||
|
||||
: generalize-return-interval ( info -- info' )
|
||||
dup [ literal?>> ] [ class>> null-class? ] bi or
|
||||
[ clone [-inf,inf] >>interval ] unless ;
|
||||
[ clone dup class>> class-interval >>interval ] unless ;
|
||||
|
||||
: generalize-return ( infos -- infos' )
|
||||
[ generalize-return-interval ] map ;
|
||||
|
|
Loading…
Reference in New Issue