From 1dbda12c6b2d116f6a129b03057ba93f8c8ad6b7 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 5 Sep 2011 17:26:31 -0400 Subject: [PATCH] Micro-optimization. original commit: c25f7cea2709624b08bed57a468db35abe6a5b21 --- collects/typed-racket/typecheck/tc-funapp.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-racket/typecheck/tc-funapp.rkt b/collects/typed-racket/typecheck/tc-funapp.rkt index 940c5eff..723feabd 100644 --- a/collects/typed-racket/typecheck/tc-funapp.rkt +++ b/collects/typed-racket/typecheck/tc-funapp.rkt @@ -59,7 +59,7 @@ (and argtys (list (tc-result1: argtys-t) ...))) (or ;; find the first function where the argument types match - (for/first ([dom doms] [rng rngs] [rest rests] [a arrs] + (for/first ([dom (in-list doms)] [rng (in-list rngs)] [rest (in-list rests)] [a (in-list arrs)] #:when (subtypes/varargs argtys-t dom rest)) ;; then typecheck here ;; we call the separate function so that we get the appropriate