Fixed a bug with eof and procedure types overlapping.

original commit: 96c541912ccb6e752d83101c38f57d6da5984a42
2010-06-09 17:50:59 -04:00 · 2010-06-09 17:50:59 -04:00 · aa18b9971e
commit aa18b9971e
parent b19c37e9df
1 changed files with 3 additions and 0 deletions
--- a/collects/typed-scheme/types/remove-intersect.rkt
+++ b/collects/typed-scheme/types/remove-intersect.rkt
@ -69,6 +69,9 @@
         [(list (Struct: n p flds _ _ _ _ _ _)
                (Struct: n* p* flds* _ _ _ _ _ _))
          (and (= (length flds) (length flds*)) (for/and ([f flds] [f* flds*]) (overlap f f*)))]
+         [(list (== (-val eof))
+                (Function: _))
+          #f]
         [else #t])])))