From 8f4939701e4771e02075a8887371ebec2fa0d0fa Mon Sep 17 00:00:00 2001
From: pompolic <pompolic@special-circumstanc.es>
Date: Thu, 23 Jun 2022 17:37:30 +0200
Subject: [PATCH] Improve HParsedToken printing
---
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 8c72448..ea2ab1c 100644
--- a/gdb-port/ast.py
+++ b/gdb-port/ast.py
@@ -145,7 +145,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, [str(child) for child in self.children])
+ return "{{ {0}, {1} }}".format(self.token_type, ", ".join([str(child) for child in self.children]))
else:
return "{{ {0}, {1} }}".format(self.token_type, self.data)
--
GitLab