steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

compiler.tree.propagation.recursive: undoing 097b40ce41 (#1513)

char-rename
Björn Lindqvist 2016-10-31 11:27:05 +01:00
parent 65f1fbe90a
commit 13cd2c4e75
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
basis/compiler/tree/propagation/recursive/recursive.factor
View File

@ -20,8 +20,10 @@ IN: compiler.tree.propagation.recursive
[ latest-input-infos ] bi ;
: counter-class ( interval class -- class' )
dup fixnum class<= rot array-capacity-interval interval-subset? and
[ drop array-capacity ] when ;
dup fixnum class<= [
swap array-capacity-interval interval-subset?
[ drop array-capacity ] when
] [ nip ] if ;
:: generalize-counter-interval ( interval initial-interval class -- interval' )
interval class counter-class :> class