>>> "Hans" == Hans Aberg <[EMAIL PROTECTED]> 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"
