From 3d04add5d4e2cf4a4272e79f71ef61200f9faef5 Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Thu, 22 May 2014 09:07:42 -0700
Subject: [PATCH] Cleanup function type creation in tc/rec-lambda/check;

original commit: ebd7f8dc92613e8d9d561e650db982a33c5c6955
---
 .../typed-racket/typecheck/tc-lambda-unit.rkt                 | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt
index 478a1d06..bdd80630 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt
@@ -534,9 +534,7 @@
   (define formals (syntax->list formals*))
   (with-lexical-env/extend
    formals args
-   (let* ([r (tc-results->values return)]
-          [t (make-arr args r)]
-          [ft (make-Function (list t))])
+   (let* ([ft (->* args (tc-results->values return))]
      (with-lexical-env/extend
       (list name) (list ft)
       (values