Improve message when simplifying type display at the REPL.
Closes PR14159.
This commit is contained in:
parent
e9e9ab651e
commit
def31658f1
|
@ -80,7 +80,7 @@
|
|||
(format "- : ~a~a~a\n"
|
||||
tg
|
||||
(cond [(equal? tc tg) ""]
|
||||
[else (format " [generalized from ~a]" tc)])
|
||||
[else (format " [more precisely: ~a]" tc)])
|
||||
(cond [(equal? tc t) ""]
|
||||
[did-I-suggest-:print-type-already? " ..."]
|
||||
[else (set! did-I-suggest-:print-type-already? #t)
|
||||
|
@ -91,7 +91,7 @@
|
|||
(format "- : ~a~a~a\n"
|
||||
(cons 'Values tgs)
|
||||
(cond [(andmap equal? tgs tcs) ""]
|
||||
[else (format " [generalized from ~a]" (cons 'Values tcs))])
|
||||
[else (format " [more precisely: ~a]" (cons 'Values tcs))])
|
||||
;; did any get pruned?
|
||||
(cond [(andmap equal? t tcs) ""]
|
||||
[did-I-suggest-:print-type-already? " ..."]
|
||||
|
|
Loading…
Reference in New Issue
Block a user