From 3a3a52fd029223fe8b51d1eaea5fee0cefe29582 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 22 Jul 2011 17:07:49 -0400 Subject: [PATCH] Display ellipses even if the :print-type message was already displayed. original commit: df0ae80a7f69d6ebf4224aff33abf6d662daa0fd --- collects/typed-scheme/core.rkt | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) diff --git a/collects/typed-scheme/core.rkt b/collects/typed-scheme/core.rkt index 0017781b..70f56f02 100644 --- a/collects/typed-scheme/core.rkt +++ b/collects/typed-scheme/core.rkt @@ -65,21 +65,20 @@ ;; are just too large to print. (let ([tc (cleanup-type t)]) (format "- : ~a~a\n" - tc (if (or did-I-suggest-:print-type-already? - (equal? tc t)) - "" - (begin (set! did-I-suggest-:print-type-already? #t) - :print-type-message))))] + tc + (cond [(equal? tc t) ""] + [did-I-suggest-:print-type-already? " ..."] + [else (set! did-I-suggest-:print-type-already? #t) + :print-type-message])))] [(tc-results: t) (define new-ts (map cleanup-type t)) (format "- : ~a~a\n" (cons 'Values new-ts) ;; did any get pruned? - (if (or did-I-suggest-:print-type-already? - (andmap equal? t new-ts)) - "" - (begin (set! did-I-suggest-:print-type-already? #t) - :print-type-message)))] + (cond [(andmap equal? t new-ts) ""] + [did-I-suggest-:print-type-already? " ..."] + [else (set! did-I-suggest-:print-type-already? #t) + :print-type-message]))] [x (int-err "bad type result: ~a" x)])]) (if ty-str #`(let ([type '#,ty-str])