type_info::name question

[Nathan Myers]

Jason Merrill wrote:
> 
> How would people feel about including the demangler in libgcc, and calling
> from type_info::name?

People are complaining about RTTI overhead already.  The purpose
of name() was to provide a hook for serializing objects, so its
only important quality is uniqueness (for types with external linkage). 
A separate function that yields a "pretty" type name given the result 
of name() would probably be useful for some people.

Nathan Myers
ncm@cantrip.org