[project @ 2003-07-24 14:20:23 by panne]

[ghc-base.git] / Data / Typeable.hs

diff --git a/Data/Typeable.hs b/Data/Typeable.hs
index 3ed5850..cc45ee7 100644 (file)
--- a/Data/Typeable.hs
+++ b/Data/Typeable.hs
@@ -244,8 +244,8 @@ cast x = r
 
 -- | Test for type equivalence
 sameType :: (Typeable a, Typeable b) => TypeVal a -> TypeVal b -> Bool
-sameType (_::a->()) (_::b->()) = typeOf (undefined::a) ==
-                                 typeOf (undefined::b) 
+sameType tva tvb = typeOf (undefinedType tva) ==
+                   typeOf (undefinedType tvb)
 
 
 -------------------------------------------------------------