From 85bd67a8b072eb6e93ef3545b41ff37406ae4e3c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 22 Oct 2014 13:58:22 -0400 Subject: [PATCH] Prune argument types too in error messages. Closes PR 12907. original commit: 9c30da7682a96a5fbb7f4dd6afebafb8006d8274 --- .../typed-racket/typecheck/tc-app-helper.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt index 58f4aa6a..0fbbafde 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt @@ -72,10 +72,10 @@ (define (make-printable t) (match t - [(tc-result1: t) t] - [(tc-results: ts) (-values ts)] + [(tc-result1: t) (cleanup-type t)] + [(tc-results: ts) (-values (map cleanup-type ts))] [(tc-any-results: f) (-AnyValues -top)] - [_ t])) + [_ (cleanup-type t)])) (define (stringify-domain dom rst drst [rng #f]) (let ([doms-string (if (null? dom) "" (string-append (stringify (map make-printable dom)) " "))]