From 976c1de96d21a61feefd3d1e4c5499e4f5a4fab3 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Mon, 28 Apr 2014 21:14:14 -0700 Subject: [PATCH] Remove extraneous check. --- .../typed-racket-lib/typed-racket/typecheck/tc-apply.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 05eb414eef..26ee7443f3 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 @@ -92,7 +92,7 @@ range)) => finish] ;; the function has no rest argument, but provides all the necessary fixed arguments - [(and (not rest) (not drest) (not tail-bound) + [(and (not rest) (not drest) (infer vars null (list (-Tuple* arg-tys full-tail-ty)) (list (-Tuple domain))