# HG changeset patch
# User paulb@jeremy
# Date 1160325981 -7200
# Node ID 2d673cdb37597b1b6f63db2ac0c1af03c9d458b0
# Parent  58958c11e55e48c1f885924b7b72ee8c426d6850
Added annotated types to the repr output.


diff -r 58958c11e55e -r 2d673cdb3759 simplified.py
--- a/simplified.py	Sun Oct 08 18:46:00 2006 +0200
+++ b/simplified.py	Sun Oct 08 18:46:21 2006 +0200
@@ -123,17 +123,24 @@
 
     def __repr__(self):
         if hasattr(self, "full_name"):
-            return "%s '%s'" % (self.__class__.__name__, self.full_name)
+            s = "%s '%s'" % (self.__class__.__name__, self.full_name)
         elif hasattr(self, "name"):
-            return "%s '%s'" % (self.__class__.__name__, self.name)
+            s = "%s '%s'" % (self.__class__.__name__, self.name)
         elif hasattr(self, "index"):
-            return "%s (%s)" % (self.__class__.__name__, self.index)
+            s = "%s (%s)" % (self.__class__.__name__, self.index)
         elif hasattr(self, "value"):
-            return "%s %s" % (self.__class__.__name__, repr(self.value))
+            s = "%s %s" % (self.__class__.__name__, repr(self.value))
         elif hasattr(self, "ref"):
-            return "%s '%s'" % (self.__class__.__name__, name(self.ref, self.ref.name))
+            s = "%s '%s'" % (self.__class__.__name__, name(self.ref, self.ref.name))
         else:
-            return "%s" % (self.__class__.__name__,)
+            s = "%s" % (self.__class__.__name__,)
+
+        # Annotations.
+
+        if hasattr(self, "types"):
+            return "%s -> %s" % (s, self.types)
+        else:
+            return s
 
     def _pprint(self, indent, continuation, s, stream=None):
         stream = stream or sys.stdout