compiler.tree.propagation.info: redoing a3be724f5a
(#1513)
parent
93661e9ea6
commit
65f1fbe90a
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue