Re: Using %printer

[Akim Demaille]

>>> "Frans" == Frans Englich <address@hidden> writes:

 > I guess one would have to invent a different "print system" for
 > that. Perhaps those "error printers" would return a heap allocated
 > char string, which the caller(the bison generated parser) is
 > responsible for de-allocating.

That's very hairy...  Besides, I don't think that for error reporting
pretty-printing the symbols is the right means to do it.  I think one
should rather use accurate locations, re-open the guilty file, and
print the guilty input.