Revise type for is-a?

2013-10-23 17:34:17 -04:00 · 2013-10-23 17:34:17 -04:00 · 84e780174e
commit 84e780174e
parent e26742e736
1 changed files with 1 additions and 3 deletions
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
@ -964,9 +964,7 @@

 ;; Section 6.2 (Classes)
 [object% (make-Class #f null null null null)]
-[is-a? (-> (make-Instance (make-Class #f null null null null))
-           (make-ClassTop)
-           -Boolean)]
+[is-a? (-> Univ (make-ClassTop) -Boolean)]

 ;; Section 9.1
 [exn:misc:match? (-> Univ B)]