From 8578b9ea7940f7e8cb94765887a766725e04d9cf Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 13 Sep 2011 15:09:16 -0400 Subject: [PATCH] Switch to square brackets for REPL type display. original commit: 3c3e5902e5269f83ace39f1f2cc42329ccd11a23 --- collects/typed-racket/core.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-racket/core.rkt b/collects/typed-racket/core.rkt index d8a92b1f..f30d3cac 100644 --- a/collects/typed-racket/core.rkt +++ b/collects/typed-racket/core.rkt @@ -95,7 +95,7 @@ (format "- : ~a~a~a\n" tg (cond [(equal? tc tg) ""] - [else (format " (generalized from ~a)" tc)]) + [else (format " [generalized from ~a]" tc)]) (cond [(equal? tc t) ""] [did-I-suggest-:print-type-already? " ..."] [else (set! did-I-suggest-:print-type-already? #t) @@ -106,7 +106,7 @@ (format "- : ~a~a~a\n" (cons 'Values tgs) (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? (cond [(andmap equal? t tcs) ""] [did-I-suggest-:print-type-already? " ..."]