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? 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