Cleanup function type creation in tc/rec-lambda/check;

original commit: ebd7f8dc92613e8d9d561e650db982a33c5c6955
2014-05-22 09:07:42 -07:00 · 2014-05-22 09:07:42 -07:00 · 3d04add5d4
commit 3d04add5d4
parent 6ec3879afa
1 changed files with 1 additions and 3 deletions
--- 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