Lift out the recursive call, since that'll be shared across all substitutions.

original commit: f68efe9e317a53de87a4acb7e15875f4364044b7
2008-06-18 23:48:31 -04:00 · 2008-06-18 23:48:31 -04:00 · f939f616f5
commit f939f616f5
parent 156c0d0d38
1 changed files with 2 additions and 1 deletions
--- a/collects/typed-scheme/private/type-utils.ss
+++ b/collects/typed-scheme/private/type-utils.ss
@ -63,7 +63,8 @@
                            (make-arr (append 
                                       (map sb dom)
                                       ;; We need to recur first, just to expand out any dotted usages of this.
-                                       (map (lambda (img) (substitute img name (sb (car drest)))) images))
+                                       (let ([expanded (sb (car drest))])
+					 (map (lambda (img) (substitute img name expanded)) images)))
                                      (sb rng)
                                      #f
                                      #f