[racket] Puzzled about type inference

On 2014-08-12 12:39:57 -0500, Robby Findler wrote:
> B.: I don't see what you mean. Why does DrRacket know better than TR
> how to format TR types?

FWIW, if there are width limitations in the widget that DrRacket shows
the type information, DrRacket may be able to pretty-print s-expressions
better to fit than strings.

Also, as far as TR is concerned it doesn't matter that much if it
outputs s-exps or strings since internally we just pretty-print types as
s-exps in a mostly standard way anyway (aside from indentation rules).

Cheers,
Asumu