From 50bf0a65a415d4fd4568c81012b5057830b395ff Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 5 Aug 2008 15:05:25 +0000 Subject: [PATCH] fix some dumb bugs svn: r11082 original commit: ad2b2b31995ea2ef7c5b0f65b240b90cc3808bf2 --- collects/typed-scheme/private/parse-type.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/parse-type.ss b/collects/typed-scheme/private/parse-type.ss index b8e08515..2b92c493 100644 --- a/collects/typed-scheme/private/parse-type.ss +++ b/collects/typed-scheme/private/parse-type.ss @@ -48,7 +48,7 @@ [(Instance t) (eq? (syntax-e #'Instance) 'Instance) (let ([v (parse-type #'t)]) - (if (or (Mu? v) (Class? v) (Union? v)) + (if (not (or (Mu? v) (Class? v) (Union? v))) (begin (tc-error/delayed "Argument to Instance must be a class type, got ~a" v) (make-Instance (Un))) (make-Instance v)))]