Changeset 4803 for src/Pugs/Internals.hs

Timestamp:

06/18/05 18:16:54 (4 years ago)

Author:

autrijus

svk:copy_cache_prev:

6617

Message:

* make all our monomorphic function types explicitly Show'able,

to ease debugging and enforce thorough Typeableness..

Files:

• src/Pugs/Internals.hs (modified) (1 diff)

src/Pugs/Internals.hs

@@ -127 +127 @@
 instance Show Unique where
     show = show . hashUnique
-instance Show (a -> b) where
-    show _ = "(->)"
+instance (Typeable a, Typeable b) => Show (a -> b) where
+    show _ = "(" ++ typA ++ " -> " ++ typB ++ ")"
+        where
+        typA = show $ typeOf (undefined :: a)
+        typB = show $ typeOf (undefined :: b)
 instance Eq (a -> b) where
     _ == _ = False