X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Data%2FTypeable.hs;h=cc45ee794ae2f0163ba9d42cb3d62bf6295989ba;hb=26cb781c1a14407f01fc966a8cf9cde17d4faf0d;hp=3ed5850acc10d758206996f05f20054c54695abc;hpb=9ee0e57c72a4206d95518e90e2abb4b90dbd513b;p=ghc-base.git

diff --git a/Data/Typeable.hs b/Data/Typeable.hs
index 3ed5850..cc45ee7 100644
--- 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)
 
 
 -------------------------------------------------------------