Fixed a bug with eof and procedure types overlapping.

2010-06-09 17:50:59 -04:00 · 2010-06-09 17:50:59 -04:00 · 96c541912c
commit 96c541912c
parent 727000fbfb
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])])))