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])