compiler.tree.propagation.info: undid a3be724f5a to see if it solves #1513

char-rename
Björn Lindqvist 2016-10-30 19:00:38 +01:00
parent 563fa33382
commit c74a669dad
1 changed files with 6 additions and 1 deletions

View File

@ -118,7 +118,12 @@ UNION: fixed-length array byte-array string ;
} ?at drop ; } ?at drop ;
: wrap-interval ( interval class -- interval' ) : wrap-interval ( interval class -- interval' )
class-interval 2dup interval-subset? [ drop ] [ nip ] if ; {
{ [ over empty-interval eq? ] [ drop ] }
{ [ over full-interval eq? ] [ nip class-interval ] }
{ [ 2dup class-interval interval-subset? not ] [ nip class-interval ] }
[ drop ]
} cond ;
: init-interval ( info -- info ) : init-interval ( info -- info )
dup [ interval>> full-interval or ] [ class>> ] bi wrap-interval >>interval dup [ interval>> full-interval or ] [ class>> ] bi wrap-interval >>interval