From 0d577b78cefb4234a751a715a4324e314d5ade92 Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Wed, 20 Jul 2016 09:28:20 -0400 Subject: [PATCH] fix silly subtype cache bug --- typed-racket-lib/typed-racket/types/subtype.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/types/subtype.rkt b/typed-racket-lib/typed-racket/types/subtype.rkt index aafc26b0..fcf14df6 100644 --- a/typed-racket-lib/typed-racket/types/subtype.rkt +++ b/typed-racket-lib/typed-racket/types/subtype.rkt @@ -719,7 +719,7 @@ (when (null? A) (hash-set! (hash-ref! subtype-cache st (lambda () (make-hash))) - ss r)) + ss (and r #t))) r)) (define (type-compare? a b)