bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Fix GDB pretty-printer for tuples

Browse source 
Names of children should not be the same,
because GDB uses them to distinguish the children.
This commit is contained in:
gentoo90 2017-05-28 12:08:40 +03:00
parent 5d2512ec5b
commit ac33d2cbfb
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/etc/gdb_rust_pretty_printing.py
View file

@ -186,10 +186,10 @@ class RustStructPrinter(object):
cs = []
wrapped_value = self.__val.get_wrapped_value()
for field in self.__val.type.get_fields():
for number, field in enumerate(self.__val.type.get_fields()):
field_value = wrapped_value[field.name]
if self.__is_tuple_like:
cs.append(("", field_value))
cs.append((str(number), field_value))
else:
cs.append((field.name, field_value))