compiler.tree.propagation.info: redoing a3be724f5a149cde60d8d6fd8e89723b35569a5f...

diff --git a/basis/compiler/tree/propagation/info/info.factor b/basis/compiler/tree/propagation/info/info.factor
index fc678e4f01a46d5c83dadb967d8665cd9cb07c2a..a530f2e4aa9adec91e9b99cb437324be6ce5e56f 100644 (file)
--- a/basis/compiler/tree/propagation/info/info.factor
+++ b/basis/compiler/tree/propagation/info/info.factor
@@ -118,12 +118,7 @@ UNION: fixed-length array byte-array string ;
     } ?at drop ;
 
 : wrap-interval ( interval class -- interval' )
-    {
-        { [ over empty-interval eq? ] [ drop ] }
-        { [ over full-interval eq? ] [ nip class-interval ] }
-        { [ 2dup class-interval interval-subset? not ] [ nip class-interval ] }
-        [ drop ]
-    } cond ;
+    class-interval 2dup interval-subset? [ drop ] [ nip ] if ;
 
 : init-interval ( info -- info )
     dup [ interval>> full-interval or ] [ class>> ] bi wrap-interval >>interval