Simplify poly drest case in tc-apply.

original commit: cee3a3f2e195556af36018660327fb86f7b86f07
2014-04-28 21:12:40 -07:00 · 2014-04-28 21:12:40 -07:00 · 6c069c38bd
commit 6c069c38bd
parent 5517b7c5a5
1 changed files with 4 additions and 5 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
@ -98,12 +98,11 @@
                        (list (-Tuple domain))
                        range))
            => finish]
-           ;; ... function, ... arg
+           ;; ... function
           [(and drest
-                 tail-bound
-                 (eq? tail-bound (cdr drest))
-                 (= (length domain) (length arg-tys))
-                 (infer vars null (cons tail-ty arg-tys) (cons (car drest) domain)
+                 (infer vars null
+                        (list (-Tuple* arg-tys full-tail-ty))
+                        (list (-Tuple* domain (make-ListDots (car drest) (cdr drest))))
                        range))
            => finish]
           [else #f]))