From 0338b0b463bf0c558145ac4ab8a5095524d83b7c Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 31 May 2013 14:00:52 +0200
Subject: [PATCH] a bit smarter for showing manifold results

---
 manifold/manifoldresult.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/manifold/manifoldresult.py b/manifold/manifoldresult.py
index a16a9a73..483fd914 100644
--- a/manifold/manifoldresult.py
+++ b/manifold/manifoldresult.py
@@ -40,7 +40,8 @@ class ManifoldResult (dict):
         if self['code']==0:
             value=self['value']
             if isinstance(value,list): result += " [value=list with %d elts]"%len(value)
-            else: result += " [value=other %s]"%value
+            elif isinstance(value,dict): result += " [value=dict with keys %s]"%value.keys()
+            else: result += " [value=%s: %s]"%(type(value).__name__,value)
         else:
             result += " [output=%s]"%self['output']
         result += "]]"
-- 
2.43.0