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

Minor cleanup on app of list.

Browse Source
This commit is contained in:
Eric Dobson 2014-05-22 00:02:03 -07:00
parent c60b3d8b03
commit 755f4835be
1 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-list.rkt
View File

@ -89,14 +89,11 @@
[(tc-result1: (List: (? (lambda (ts) (= (syntax-length #'args)
(length ts)))
ts)))
(match (for/list ([ac (in-syntax #'args)]
(ret (-Tuple
(for/list ([ac (in-syntax #'args)]
[exp (in-list ts)])
(tc-expr/check ac (ret exp)))
[(list (tc-result1: t) ...)
(ret (-Tuple t))])]
[_
(let ([tys (stx-map tc-expr/t #'args)])
(ret (apply -lst* tys)))]))
(tc-expr/check/t ac (ret exp)))))]
[_ (ret (-Tuple (stx-map tc-expr/t #'args)))]))
;; special case for `list*'
(pattern (list* . args)
(match-let* ([(list tys ... last) (stx-map tc-expr/t #'args)])