Re: i18n for yacc backend messages

[Akim Demaille]

>>> "Hans" == Hans Aberg <address@hidden> writes:

 > At 10:05 +0200 2005/04/18, Akim Demaille wrote:
 >> That could be made using %printer.  The only problem is that we would
 >> like to output into a string, whereas %printer is made for streams :(

 > Would you mind enlighten me as to how %printer works? -- It seems to
 > not be documented.

%printer { how to print $$ } SYMBOLS

e.g. in C++

%printer { debug_stream () << *$$; } "string" "identifier"
%printer { debug_stream () << $$; }  "integer"