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

Improve message when simplifying type display at the REPL.

Browse Source 
Closes PR14159.

original commit: def31658f193d9db8409a5b8433804d398dcdd98
This commit is contained in:
Vincent St-Amour 2013-11-18 14:35:41 -05:00
parent d1e1f0240b
commit d51957fcd3
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt
View File

@ -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? " ..."]