From b837057b1dfb493bcd14cee5b85414e7bfca4f5a Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Thu, 1 Jul 2010 13:46:16 -0400
Subject: [PATCH] Fix error reporting regression.

original commit: 829689eb9d93f19a7872a31c8d536be542ed8675
---
 collects/typed-scheme/private/parse-type.rkt | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/collects/typed-scheme/private/parse-type.rkt b/collects/typed-scheme/private/parse-type.rkt
index 509c6acf..23285bcd 100644
--- a/collects/typed-scheme/private/parse-type.rkt
+++ b/collects/typed-scheme/private/parse-type.rkt
@@ -253,9 +253,8 @@
       ;; use expr to rule out keywords
       [(dom:expr ... kws:keyword-tys ... (~and kw t:->) rng)
        (add-type-name-reference #'kw)
-       (let ([doms (for/list ([d (syntax->list #'(dom ...))])
-                     (let ([dt (parse-type d)])
-                       (if (type-equal? dt Err) Univ dt)))])
+      (let ([doms (for/list ([d (syntax->list #'(dom ...))])
+                    (parse-type d))])
          (make-Function
           (list (make-arr
                  doms