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

Minor whitespace fix.

Browse Source 
(cherry picked from commit b9b1eb14ba)
This commit is contained in:
Eric Dobson 2013-05-25 18:09:28 -07:00 committed by Ryan Culpepper
parent dade2004e3
commit 599f46ad32
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-racket/typecheck/tc-app/tc-app-list.rkt
View File

@ -82,14 +82,14 @@
(match expected (match expected
[(tc-result1: (Listof: elem-ty)) [(tc-result1: (Listof: elem-ty))
(for ([i (in-list (syntax->list #'args))]) (for ([i (in-list (syntax->list #'args))])
(tc-expr/check i (ret elem-ty))) (tc-expr/check i (ret elem-ty)))
expected] expected]
[(tc-result1: (List: (? (lambda (ts) (= (length (syntax->list #'args)) [(tc-result1: (List: (? (lambda (ts) (= (length (syntax->list #'args))
(length ts))) (length ts)))
ts))) ts)))
(for ([ac (in-list (syntax->list #'args))] (for ([ac (in-list (syntax->list #'args))]
[exp (in-list ts)]) [exp (in-list ts)])
(tc-expr/check ac (ret exp))) (tc-expr/check ac (ret exp)))
expected] expected]
[_ [_
(let ([tys (map tc-expr/t (syntax->list #'args))]) (let ([tys (map tc-expr/t (syntax->list #'args))])