produce the correct type

2010-05-05 17:50:20 -04:00 · 2010-05-05 17:50:20 -04:00 · 62af50867a
commit 62af50867a
parent 1146ffa76d
1 changed files with 1 additions and 1 deletions
--- 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)]