Parse-type fix for Instance types

original commit: 00bb21964247ebb774c2db4709b567adf16cc51a
2014-01-20 17:08:07 -05:00 · 2014-01-20 17:08:07 -05:00 · 72dd536f96
commit 72dd536f96
parent fef7b7b508
1 changed files with 1 additions and 1 deletions
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/parse-type.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/parse-type.rkt
@ -294,7 +294,7 @@
            (Un)])]
      [(:Instance^ t)
       (let ([v (parse-type #'t)])
-         (if (not (or (F? v) (Mu? v) (Class? v) (Union? v) (Error? v)))
+         (if (not (or (F? v) (Mu? v) (Name? v) (Class? v) (Error? v)))
             (begin (tc-error/delayed "Argument to Instance must be a class type, got ~a" v)
                    (make-Instance (Un)))
             (make-Instance v)))]