From 00bb21964247ebb774c2db4709b567adf16cc51a Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 20 Jan 2014 17:08:07 -0500 Subject: [PATCH] Parse-type fix for Instance types --- .../typed-racket-lib/typed-racket/private/parse-type.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git 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 index 98b1b1b40f..f9718190a1 100644 --- 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)))]