From 99f01f5260388ad019678d9ec4ad1a886fa43356 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 20 Feb 2012 15:09:14 -0500 Subject: [PATCH] Fix overlap with sequences. --- collects/typed-racket/types/remove-intersect.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/typed-racket/types/remove-intersect.rkt b/collects/typed-racket/types/remove-intersect.rkt index f15c69ac83..8d2d456922 100644 --- a/collects/typed-racket/types/remove-intersect.rkt +++ b/collects/typed-racket/types/remove-intersect.rkt @@ -60,6 +60,9 @@ [(list (Pair: a b) (Pair: a* b*)) (and (overlap a a*) (overlap b b*))] + ;; lots of things are sequences + [(list (Sequence: _) _) #t] + [(list _ (Sequence: _)) #t] [(or (list (Pair: _ _) _) (list _ (Pair: _ _))) #f]