From fd56b43d7be47f15f2c23b45dca26f836e7b1459 Mon Sep 17 00:00:00 2001
From: pompolic <pompolic@special-circumstanc.es>
Date: Wed, 22 Jun 2022 18:48:59 +0200
Subject: [PATCH] Tweak HParsedToken.__str__()
---
gdb-port/ast.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gdb-port/ast.py b/gdb-port/ast.py
index 463c0b3..b3cb498 100644
--- a/gdb-port/ast.py
+++ b/gdb-port/ast.py
@@ -141,7 +141,7 @@ class HParsedToken:
# TODO: this is probably fine for already-parsed input, but needs more thought
def __str__(self):
if self.children:
- return "{{ {0}, {1} }}".format(self.token_type, self.children)
+ return "{{ {0}, {1} }}".format(self.token_type, [str(child) for child in self.children])
else:
return "{{ {0}, {1} }}".format(self.token_type, self.data)
--
GitLab