From fe7589c8070f4a9e0da210a1bc47de2400b5e95c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Sun, 17 Jun 2012 21:32:16 -0400 Subject: [PATCH] Fix possible-domains on functions with multiple return values. original commit: a5f2ca8fb07f92076020053fc6053a5f6808308a --- collects/typed-racket/typecheck/tc-app-helper.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-racket/typecheck/tc-app-helper.rkt b/collects/typed-racket/typecheck/tc-app-helper.rkt index 3001eb0f..01234c25 100644 --- a/collects/typed-racket/typecheck/tc-app-helper.rkt +++ b/collects/typed-racket/typecheck/tc-app-helper.rkt @@ -182,7 +182,8 @@ (ormap (lambda (x) (subtype x fun-ty)) others)) - (define expected-ty (and expected (match expected [(tc-result1: t) t]))) + ;; currently does not take advantage of multi-valued expected types + (define expected-ty (and expected (match expected [(tc-result1: t) t] [_ #f]))) (define (returns-subtype-of-expected? fun-ty) (or (not expected) (match fun-ty