compiler.tree.propagation.recursive: redoing

097b40ce41 (#1513)
2016-11-06 19:08:35 +01:00 · 2016-11-06 19:08:35 +01:00 · eabf237863
parent 77f0865689
commit eabf237863
1 changed files with 2 additions and 4 deletions
--- a/basis/compiler/tree/propagation/recursive/recursive.factor
+++ b/basis/compiler/tree/propagation/recursive/recursive.factor
@ -20,10 +20,8 @@ IN: compiler.tree.propagation.recursive
    [ latest-input-infos ] bi ;

 : counter-class ( interval class -- class' )
-    dup fixnum class<= [
-        swap array-capacity-interval interval-subset?
-        [ drop array-capacity ] when
-    ] [ nip ] if ;
+    dup fixnum class<= rot array-capacity-interval interval-subset? and
+    [ drop array-capacity ] when ;

 :: generalize-counter-interval ( interval initial-interval class -- interval' )
    interval class counter-class :> class