From c74a669dad0d4892d8474e6f260ce3e94e3d69ca Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn=20Lindqvist?= Date: Sun, 30 Oct 2016 19:00:38 +0100 Subject: [PATCH] compiler.tree.propagation.info: undid a3be724f5a149cde60d8d6fd8e89723b35569a5f to see if it solves #1513 --- basis/compiler/tree/propagation/info/info.factor | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/basis/compiler/tree/propagation/info/info.factor b/basis/compiler/tree/propagation/info/info.factor index a530f2e4aa..fc678e4f01 100644 --- a/basis/compiler/tree/propagation/info/info.factor +++ b/basis/compiler/tree/propagation/info/info.factor @@ -118,7 +118,12 @@ UNION: fixed-length array byte-array string ; } ?at drop ; : 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 ) dup [ interval>> full-interval or ] [ class>> ] bi wrap-interval >>interval