Fix an unfortunate bug in Union construction.

2013-11-25 12:59:50 -05:00 · 2013-11-25 12:59:50 -05:00 · beefe73f7e
commit beefe73f7e
parent ad8d0629f8
1 changed files with 1 additions and 1 deletions
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/union.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/union.rkt
@ -34,7 +34,7 @@
     (cons a b)]
    [((? (λ _ (subtype a b*))) _) b]
    [((? (λ _ (subtype b* a))) _) (list a)]
-    [(_ _) (cons a b)]))
+    [(_ _) (cons a (filter-not (λ (b-elem) (subtype b-elem a)) b))]))

 ;; Type -> List[Type]
 (define (flat t)