Skip to content

Commit

Permalink
Minor whitespace fix.
Browse files Browse the repository at this point in the history
(cherry picked from commit b9b1eb1)
  • Loading branch information
endobson authored and rmculpepper committed Jul 8, 2013
1 parent dade200 commit 599f46a
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions collects/typed-racket/typecheck/tc-app/tc-app-list.rkt
Expand Up @@ -82,14 +82,14 @@
(match expected
[(tc-result1: (Listof: elem-ty))
(for ([i (in-list (syntax->list #'args))])
(tc-expr/check i (ret elem-ty)))
(tc-expr/check i (ret elem-ty)))
expected]
[(tc-result1: (List: (? (lambda (ts) (= (length (syntax->list #'args))
(length ts)))
ts)))
(for ([ac (in-list (syntax->list #'args))]
[exp (in-list ts)])
(tc-expr/check ac (ret exp)))
(tc-expr/check ac (ret exp)))
expected]
[_
(let ([tys (map tc-expr/t (syntax->list #'args))])
Expand Down

0 comments on commit 599f46a

Please sign in to comment.