>>> "Akim" == Akim Demaille <[EMAIL PROTECTED]> writes:
> How about taking this opportunity to treat differently symbols with a
> value from those without?
> %printer { cerr << @$ << ": " << $$; } %valued-symbols
> %printer { cerr << @$; } %valueless-symbols
> Or
> %default-valued-printer { cerr << @$ << ": " << $$; }
> %default-valueless-printer { cerr << @$; }
Or better yet (?), no %symbol-default, but:
%printer { cerr << @$ << ": " << $$; } <*>
%printer { cerr << @$; } <->
using "special type tags".
