Fix error reporting regression.

2010-07-01 13:46:16 -04:00 · 2010-07-01 13:46:16 -04:00 · 829689eb9d
commit 829689eb9d
parent 4f3e3625b3
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