From 8ab29675d64b0d8113bf44cd7de5950dc8dfda49 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sun, 27 Apr 2014 18:48:23 -0700 Subject: [PATCH] Make polydotted * case in apply similar to other cases. --- .../typed-racket/typecheck/tc-apply.rkt | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git 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 index 8e4c08fed6..7768dd269d 100644 --- 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