From beefe73f7e7b6fbb547f327e206f447e4f6815b0 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 25 Nov 2013 12:59:50 -0500 Subject: [PATCH] Fix an unfortunate bug in Union construction. --- .../typed-racket-lib/typed-racket/types/union.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git 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 index 7a0b7f60f8..750beecc36 100644 --- 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)