Fix overlap with sequences.

original commit: 99f01f5260388ad019678d9ec4ad1a886fa43356
2012-02-20 15:09:14 -05:00 · 2012-02-20 15:09:14 -05:00 · 4c849a4eda
commit 4c849a4eda
parent 2c4fc39937
1 changed files with 3 additions and 0 deletions
--- 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]