From 7186e085fa097b30bdfba208310d34caba8464ed Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 28 Jun 2010 17:07:21 -0400 Subject: [PATCH] minor cleanups original commit: 3c4f1f39b8acf610576f4069c37929f071c60ec3 --- collects/typed-scheme/tc-setup.rkt | 2 ++ collects/typed-scheme/typecheck/tc-app.rkt | 4 ++-- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/tc-setup.rkt b/collects/typed-scheme/tc-setup.rkt index 66d1ea32..e3288fe8 100644 --- a/collects/typed-scheme/tc-setup.rkt +++ b/collects/typed-scheme/tc-setup.rkt @@ -36,6 +36,8 @@ [infer-param infer] ;; do we report multiple errors [delay-errors? #t] + ;; do we print the fully-expanded syntax? + [print-syntax? #f] ;; this parameter is just for printing types ;; this is a parameter to avoid dependency issues [current-type-names diff --git a/collects/typed-scheme/typecheck/tc-app.rkt b/collects/typed-scheme/typecheck/tc-app.rkt index 95707e7f..b3e57940 100644 --- a/collects/typed-scheme/typecheck/tc-app.rkt +++ b/collects/typed-scheme/typecheck/tc-app.rkt @@ -237,11 +237,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 #'(begin body* ...) f))]) + (find-annotation #'(begin . body*) f))]) (if infer-t (begin (check-below (tc-expr/t ac) infer-t) infer-t)