From 50f2271917e30879a1fd0ac10613a691619e245c Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 11 Feb 2015 02:24:52 -0500 Subject: [PATCH] Fix minor contract violation in REPL messages --- typed-racket-lib/typed-racket/core.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/core.rkt b/typed-racket-lib/typed-racket/core.rkt index b8cc465c..25c41e21 100644 --- a/typed-racket-lib/typed-racket/core.rkt +++ b/typed-racket-lib/typed-racket/core.rkt @@ -113,7 +113,8 @@ (cond [(andmap equal? tgs tcs) ""] [indented? (format "\n[more precisely: ~a]" - (pretty-format-type (make-Values tcs) #:indent 17))] + (pretty-format-type (make-Values (map -result tcs)) + #:indent 17))] [else (format " [more precisely: ~a]" (cons 'Values tcs))]) ;; did any get pruned? (cond [(andmap equal? t tcs) ""]