From 9a6c1ba63d68e475d80a434ea3dcd55d8ba899fb Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Sat, 1 Jul 2017 17:46:36 +0100 Subject: [PATCH] fix trivial bug in subtract (#571) --- typed-racket-lib/typed-racket/types/subtract.rkt | 2 +- typed-racket-test/unit-tests/remove-intersect-tests.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/typed-racket-lib/typed-racket/types/subtract.rkt b/typed-racket-lib/typed-racket/types/subtract.rkt index bc9f7de4..73e5e6a2 100644 --- a/typed-racket-lib/typed-racket/types/subtract.rkt +++ b/typed-racket-lib/typed-racket/types/subtract.rkt @@ -40,7 +40,7 @@ (-refine (apply -unsafe-intersect (map (λ (t) (sub t obj)) ts)) raw-prop)] [(? Mu?) (sub (unfold t) obj)] - [(Poly: vs b) (make-Poly vs (sub b) obj)] + [(Poly: vs b) (make-Poly vs (sub b))] [_ t]))) (cond [(subtype t result obj) t] diff --git a/typed-racket-test/unit-tests/remove-intersect-tests.rkt b/typed-racket-test/unit-tests/remove-intersect-tests.rkt index dece3d53..ff811ae6 100644 --- a/typed-racket-test/unit-tests/remove-intersect-tests.rkt +++ b/typed-racket-test/unit-tests/remove-intersect-tests.rkt @@ -118,7 +118,7 @@ (-poly (a) (make-Listof a))] [(Un -Symbol -Number) (-poly (a) -Number) -Symbol] [(-pair -Number (-v a)) (-pair Univ Univ) (Un)] - )) + [(-poly (a) (Un -False (-> (-v a) (-v a)))) -False (-poly (a) (-> (-v a) (-v a)))])) (define tests (test-suite "Subtract Intersect"