fix silly subtype cache bug

2016-07-20 09:28:20 -04:00 · 2016-07-20 09:28:20 -04:00 · 0d577b78ce
commit 0d577b78ce
parent 5cc02a7592
1 changed files with 1 additions and 1 deletions
--- 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)