Make polydotted * case in apply similar to other cases.

2014-04-27 18:48:23 -07:00 · 2014-04-27 18:48:23 -07:00 · 8ab29675d6
commit 8ab29675d6
parent 362747bfcd
1 changed files with 4 additions and 6 deletions
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt
@ -140,12 +140,10 @@
           (cond
             ;; the actual work, when we have a * function
             [(and rest
-                   (<= (length domain) (length arg-tys))
-                   (infer/vararg fixed-vars (list dotted-var)
-                                 (cons full-tail-ty arg-tys)
-                                 (cons (make-Listof rest) domain)
-                                 rest
-                                 range))
+                   (infer fixed-vars (list dotted-var)
+                          (list (-Tuple* arg-tys full-tail-ty))
+                          (list (-Tuple* domain (make-Listof rest)))
+                          range))
              => finish]
             ;; ... function, ... arg
             [(and drest tail-bound