fix some dumb bugs

svn: r11082 original commit: ad2b2b31995ea2ef7c5b0f65b240b90cc3808bf2
2008-08-05 15:05:25 +00:00 · 2008-08-05 15:05:25 +00:00 · 50bf0a65a4
commit 50bf0a65a4
parent 4d9768895a
1 changed files with 1 additions and 1 deletions
--- 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)))]