From a714f5113835cd27ee4c2cf7128eae120dbee93d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 29 Oct 2009 18:02:33 +0000 Subject: [PATCH] Use tail-position syntax property for non-functions. svn: r16451 original commit: 6d70a48de13cbc2e54535c274144adb741d8aba1 --- collects/typed-scheme/typecheck/tc-let-unit.ss | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/typed-scheme/typecheck/tc-let-unit.ss b/collects/typed-scheme/typecheck/tc-let-unit.ss index 1ecf796b..513d50e7 100644 --- a/collects/typed-scheme/typecheck/tc-let-unit.ss +++ b/collects/typed-scheme/typecheck/tc-let-unit.ss @@ -94,6 +94,9 @@ [(#%plain-lambda () _) #:fail-unless (and expected (syntax-property e 'typechecker:called-in-tail-position)) #f (tc-expr/check e (ret (-> (tc-results->values expected))))] + [_ + #:fail-unless (and expected (syntax-property e 'typechecker:called-in-tail-position)) #f + (tc-expr/check e expected)] [_ (tc-expr e)])) (define (tc/let-values namess exprs body form [expected #f])