From d31b37acc11f85195337755c1b8f05cffc1ec0e7 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 17 Jun 2010 12:50:30 -0400 Subject: [PATCH] handle multiple body expression properly original commit: 0262ef681ac4394f9c2f8f19836777ee1fcc7a56 --- collects/typed-scheme/typecheck/tc-app.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/typecheck/tc-app.rkt b/collects/typed-scheme/typecheck/tc-app.rkt index d68d056c..f1ffb5c3 100644 --- a/collects/typed-scheme/typecheck/tc-app.rkt +++ b/collects/typed-scheme/typecheck/tc-app.rkt @@ -235,11 +235,11 @@ (tc/rec-lambda/check form args body lp (cons acc-ty ts) expected) expected)] ;; special case when argument needs inference - [(_ (body*) _) + [(_ (body* ...) _) (let ([ts (for/list ([ac (syntax->list actuals)] [f (syntax->list args)]) (let* ([infer-t (or (type-annotation f #:infer #t) - (find-annotation #'body* f))]) + (find-annotation #'(begin body* ...) f))]) (if infer-t (begin (check-below (tc-expr/t ac) infer-t) infer-t)