From 62af50867a825aab3572a442276921b205180a3a Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 5 May 2010 17:50:20 -0400 Subject: [PATCH] produce the correct type --- collects/typed-scheme/typecheck/tc-app.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/typecheck/tc-app.rkt b/collects/typed-scheme/typecheck/tc-app.rkt index 7e34f1536d..811a2d4f69 100644 --- a/collects/typed-scheme/typecheck/tc-app.rkt +++ b/collects/typed-scheme/typecheck/tc-app.rkt @@ -418,7 +418,7 @@ andmap ormap reverse extend-parameterization) [(#%plain-app extend-parameterization pmz args ...) (let loop ([args (syntax->list #'(args ...))]) - (if (null? args) Univ + (if (null? args) (ret Univ) (let* ([p (car args)] [pt (single-value p)] [v (cadr args)]