suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Display ellipses even if the :print-type message was already displayed.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-07-22 17:07:49 -04:00
parent 93787f6215
commit df0ae80a7f
1 changed files with 9 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
collects/typed-scheme/core.rkt
View File

@ -65,21 +65,20 @@
;; are just too large to print. ;; are just too large to print.
(let ([tc (cleanup-type t)]) (let ([tc (cleanup-type t)])
(format "- : ~a~a\n" (format "- : ~a~a\n"
tc (if (or did-I-suggest-:print-type-already? tc
(equal? tc t)) (cond [(equal? tc t) ""]
"" [did-I-suggest-:print-type-already? " ..."]
(begin (set! did-I-suggest-:print-type-already? #t) [else (set! did-I-suggest-:print-type-already? #t)
:print-type-message))))] :print-type-message])))]
[(tc-results: t) [(tc-results: t)
(define new-ts (map cleanup-type t)) (define new-ts (map cleanup-type t))
(format "- : ~a~a\n" (format "- : ~a~a\n"
(cons 'Values new-ts) (cons 'Values new-ts)
;; did any get pruned? ;; did any get pruned?
(if (or did-I-suggest-:print-type-already? (cond [(andmap equal? t new-ts) ""]
(andmap equal? t new-ts)) [did-I-suggest-:print-type-already? " ..."]
"" [else (set! did-I-suggest-:print-type-already? #t)
(begin (set! did-I-suggest-:print-type-already? #t) :print-type-message]))]
:print-type-message)))]
[x (int-err "bad type result: ~a" x)])]) [x (int-err "bad type result: ~a" x)])])
(if ty-str (if ty-str
#`(let ([type '#,ty-str]) #`(let ([type '#,ty-str])