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

Switch to square brackets for REPL type display.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-09-13 15:09:16 -04:00
parent 68d58f7d2a
commit 3c3e5902e5
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-racket/core.rkt
View File

@ -95,7 +95,7 @@
(format "- : ~a~a~a\n" (format "- : ~a~a~a\n"
tg tg
(cond [(equal? tc tg) ""] (cond [(equal? tc tg) ""]
[else (format " (generalized from ~a)" tc)]) [else (format " [generalized from ~a]" tc)])
(cond [(equal? tc t) ""] (cond [(equal? tc t) ""]
[did-I-suggest-:print-type-already? " ..."] [did-I-suggest-:print-type-already? " ..."]
[else (set! did-I-suggest-:print-type-already? #t) [else (set! did-I-suggest-:print-type-already? #t)
@ -106,7 +106,7 @@
(format "- : ~a~a~a\n" (format "- : ~a~a~a\n"
(cons 'Values tgs) (cons 'Values tgs)
(cond [(andmap equal? tgs tcs) ""] (cond [(andmap equal? tgs tcs) ""]
[else (format " (generalized from ~a)" (cons 'Values tcs))]) [else (format " [generalized from ~a]" (cons 'Values tcs))])
;; did any get pruned? ;; did any get pruned?
(cond [(andmap equal? t tcs) ""] (cond [(andmap equal? t tcs) ""]
[did-I-suggest-:print-type-already? " ..."] [did-I-suggest-:print-type-already? " ..."]