Add type tooltip information in TR modules

This PR uses the newly added DrRacket API for communicating tooltip information to show the types of expressions in the DrRacket definitions area.
I don't mind if you change this one, but don't change others because they
have been in releases already.

Robby

On Mon, Oct 6, 2014 at 8:57 AM, Sam Tobin-Hochstadt <
notifications@github.com> wrote:

> In
> pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/type-table.rkt:
>
> > +              (pretty-format-type (cleanup-type type)))]
> > +        [(tc-results: types)
> > +         (apply string-append
> > +                (for/list ([(type index) (in-indexed (in-list types))])
> > +                  (format "Value ~a:~n  ~a~n"
> > +                          (add1 index)
> > +                          (pretty-format-type (cleanup-type type)
> > +                                              #:indent 2))))]
> > +        [(tc-any-results: _) "AnyValues"]))
> > +    (cond [(not printed-types) tooltips]
> > +          [(or (not (pair? (syntax-e stx)))
> > +               ;; special-case quote because there's no worry of overlap
> > +               ;; in a (quote ...) and because literals expand out to a
> > +               ;; use of quote.
> > +               (eq? (syntax-e (car (syntax-e stx))) 'quote))
> > +           (cons (vector (syntax-source stx)
>
> I guess my thought was that any fixed-length vector would be better
> expressed as a prefab, not that we should add extra info in the type of the
> prefab.
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/plt/racket/pull/787/files#r18457558>.
>