suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Micro-optimization.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2011-09-05 17:26:31 -04:00
parent 37a81bcfce
commit c25f7cea27
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/typecheck/tc-funapp.rkt
View File

@ -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