From 143c430632201f6b9162b17150ae86456541b79a Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 23 Oct 2013 17:34:17 -0400 Subject: [PATCH] Revise type for is-a? original commit: 84e780174e0d827f6a4fc660f92525ca5bb71800 --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git 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 index 7b2b241a..d0fec520 100644 --- 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)]