From 755f4835beec38af09a7fb229af7d48bb247a54d Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 22 May 2014 00:02:03 -0700 Subject: [PATCH] Minor cleanup on app of list. --- .../typed-racket/typecheck/tc-app/tc-app-list.rkt | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-list.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-list.rkt index 88ae5511ab..d7a140bc02 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-list.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-list.rkt @@ -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)])