external debugger: print uninterned symbols sensibly

clasp-developers · Jul 30, 2024 · faec038 · faec038
1 parent 2fd2dd8
commit faec038
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/debugger-tools/clasp_inspect/__init__.py b/debugger-tools/clasp_inspect/__init__.py
@@ -630,8 +630,11 @@ def __repr__(self):
         except:
             return "Symbol[%s %s]" % (self._Package, self._Name )
     def __str__(self):
-        if (self._Package.nilp() and self._Name.str() == "UNBOUND"):
-            return "#<UNBOUND>"
+        if (self._Package.nilp()):
+            if self._Name.str() == "UNBOUND":
+                return "#<UNBOUND>"
+            else:
+                return "#:" + self._Name.str()
         return self._Package.name().str() + "::" + self._Name.str()
 
 class Rack_O(General_O):