On 05/25/2018 07:41 PM, Tom Tromey wrote: >>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes: > > Pedro> Not sure. The name is supposedly read-only, which would > Pedro> suggest renaming the field to m_name and adding a name() > Pedro> getter. WDYT? > > How about the appended as a follow-up patch to this series? Thanks, looks good. Pedro Alves