Skip to content

Commit

Permalink
Minor whitespace fix.
Browse files Browse the repository at this point in the history
  • Loading branch information
endobson committed May 26, 2013
1 parent 56cb3d7 commit b9b1eb1
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
Original file line number Diff line number Diff line change
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 b9b1eb1

Please sign in to comment.