Fix error reporting regression.

original commit: 829689eb9d93f19a7872a31c8d536be542ed8675
2010-07-01 13:46:16 -04:00 · 2010-07-01 13:46:16 -04:00 · b837057b1d
commit b837057b1d
parent 2a2a54c438
1 changed files with 2 additions and 3 deletions
--- 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