From fe677bac2f86e154c3032ea9aa66664b53ed719b Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Tue, 1 Jan 2013 18:47:23 -0800 Subject: [PATCH] compiler.tree.propagation.recursive: Generalizing intervals in the propagation pass ignored types. Fixes #770. --- basis/compiler/tree/propagation/recursive/recursive.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/compiler/tree/propagation/recursive/recursive.factor b/basis/compiler/tree/propagation/recursive/recursive.factor index 854e730662..b343f5aa6d 100644 --- a/basis/compiler/tree/propagation/recursive/recursive.factor +++ b/basis/compiler/tree/propagation/recursive/recursive.factor @@ -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 ;