From f321098ccea6390954fa9915a53535eb9b09d1cf Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Tue, 20 May 2014 22:28:22 -0700
Subject: [PATCH] Inline some local variables in cgen/seq.

---
 .../typed-racket/infer/infer-unit.rkt         | 23 ++++++++-----------
 1 file changed, 10 insertions(+), 13 deletions(-)

diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt
index 420054d0cd..6373415ac2 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt
@@ -287,7 +287,7 @@
      (define-values (vars new-tys) (generate-dbound-prefix dbound dty (- (length ss) (length ts))))
      (% move-vars-to-dmap (cgen/list V (append vars X) Y ss (append ts new-tys)) dbound vars)]
 
-    ;; samed dotted bound
+    ;; same dotted bound
     [((seq ss (dotted-end s-dty dbound))
       (seq ts (dotted-end t-dty dbound)))
      #:return-unless (= (length ss) (length ts))
@@ -304,21 +304,18 @@
       (seq ts (dotted-end t-dty dbound*)))
      #:return-unless (= (length ss) (length ts)) #f
      #:return-when (memq dbound* Y) #f
-     (let* ([arg-mapping (cgen/list V X Y ss ts)]
-            ;; just add dbound as something that can be constrained
-            [darg-mapping
-              (extend-tvars (list dbound*)
-                (% move-dotted-rest-to-dmap (cgen V (cons dbound X) Y s-dty t-dty) dbound dbound*))])
-       (% cset-meet arg-mapping darg-mapping))]
+     (% cset-meet
+        (cgen/list V X Y ss ts)
+        (extend-tvars (list dbound*)
+          (% move-dotted-rest-to-dmap (cgen V (cons dbound X) Y s-dty t-dty) dbound dbound*)))]
     [((seq ss (dotted-end s-dty dbound))
       (seq ts (dotted-end t-dty (? (λ (db) (memq db Y)) dbound*))))
      #:return-unless (= (length ss) (length ts)) #f
-     (let* ([arg-mapping (cgen/list V X Y ss ts)]
-            ;; just add dbound* as something that can be constrained
-            [darg-mapping
-              (extend-tvars (list dbound)
-                (% move-dotted-rest-to-dmap (cgen V (cons dbound* X) Y s-dty t-dty) dbound* dbound))])
-       (% cset-meet arg-mapping darg-mapping))]
+     (% cset-meet
+        (cgen/list V X Y ss ts)
+        (extend-tvars (list dbound)
+          (% move-dotted-rest-to-dmap (cgen V (cons dbound* X) Y s-dty t-dty) dbound* dbound)))]
+
     ;; * <: ...
     [((seq ss (uniform-end s-rest))
       (seq ts (dotted-end t-dty dbound)))