From aa18b9971ec318141f7d9adb0a59728fd1e14108 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 9 Jun 2010 17:50:59 -0400 Subject: [PATCH] Fixed a bug with eof and procedure types overlapping. original commit: 96c541912ccb6e752d83101c38f57d6da5984a42 --- collects/typed-scheme/types/remove-intersect.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/typed-scheme/types/remove-intersect.rkt b/collects/typed-scheme/types/remove-intersect.rkt index abf9e562..af4e5d54 100644 --- 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])])))