From ea942c2110d857fe7091609813094b726069d7b7 Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Tue, 3 Mar 2015 23:20:15 -0500 Subject: [PATCH] fixed base/value overlap bug --- typed-racket-lib/typed-racket/types/remove-intersect.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/types/remove-intersect.rkt b/typed-racket-lib/typed-racket/types/remove-intersect.rkt index 49760251..0920b9a4 100644 --- a/typed-racket-lib/typed-racket/types/remove-intersect.rkt +++ b/typed-racket-lib/typed-racket/types/remove-intersect.rkt @@ -46,7 +46,7 @@ (ormap (lambda (t*) (overlap t* s)) ts)] [(list-no-order (? Poly?) _) #t] ;; conservative [(list (Base: s1 _ _ _) (Base: s2 _ _ _)) (or (subtype t1 t2) (subtype t2 t1))] - [(list-no-order (? Base? t) (? Value? s)) (subtype t s)] ;; conservative + [(list-no-order (? Base? t) (? Value? s)) (subtype s t)] ;; conservative [(list (Syntax: t) (Syntax: t*)) (overlap t t*)] [(list-no-order (Syntax: _) _) #f] [(list-no-order (Base: _ _ _ _) _) #f]