Revise type for is-a?

original commit: 84e780174e0d827f6a4fc660f92525ca5bb71800
2013-10-23 17:34:17 -04:00 · 2013-10-23 17:34:17 -04:00 · 143c430632
commit 143c430632
parent d70a59d5cb
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)]