From d4a8c52c7102778e6b1ef8fae8b5c75774069487 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 26 May 2010 19:13:19 -0400 Subject: [PATCH] Fix error message for multiple values. --- collects/typed-scheme/typecheck/tc-app-helper.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/typecheck/tc-app-helper.rkt b/collects/typed-scheme/typecheck/tc-app-helper.rkt index a2c7457cc2..d829d63260 100644 --- a/collects/typed-scheme/typecheck/tc-app-helper.rkt +++ b/collects/typed-scheme/typecheck/tc-app-helper.rkt @@ -1,13 +1,14 @@ #lang scheme/base (require "../utils/utils.rkt" scheme/match unstable/list - (utils tc-utils) (rep type-rep) (types utils union)) + (utils tc-utils) (rep type-rep) (types utils union abbrev)) (provide (all-defined-out)) (define (make-printable t) (match t [(tc-result1: t) t] + [(tc-results: ts) (-values ts)] [_ t])) (define (stringify-domain dom rst drst [rng #f])