From 736a97e0b4b341b2035cc8775087463681295915 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Mon, 28 Apr 2014 21:14:14 -0700 Subject: [PATCH] Remove extraneous check. original commit: 976c1de96d21a61feefd3d1e4c5499e4f5a4fab3 --- .../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 05eb414e..26ee7443 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))