On Mon, Apr 16, 2012 at 12:42 AM, Marc Glisse <marc.gli...@inria.fr> wrote: > On Sun, 15 Apr 2012, Gabriel Dos Reis wrote: > >> a hybrid approach; I would suggest something like this: (a) if caret >> is in effect, then print >> the caret pointing to the symbol in question; otherwise (b) print the >> symbol and the type (as suggested by Marc). > > > I may have forgotten the details, but looking at the beginning of the PR, > don't we always want the types?
Yes. > Show where the failing operator== is, and > print the types of the 2 arguments? I tried to parenthesize your sentence so > it meant that, but it wasn't convincing... > > -- > Marc Glisse
