Make Data.Typeable imports and exports more explicit

diff --git a/Data/Typeable.hs-boot b/Data/Typeable.hs-boot
index 45be319..9da3620 100644 (file)
--- a/Data/Typeable.hs-boot
+++ b/Data/Typeable.hs-boot
@@ -5,14 +5,12 @@ module Data.Typeable where
 
 import Data.Maybe
 import GHC.Base
-import GHC.Show
 
 data TypeRep
 data TyCon
 
 mkTyCon      :: String -> TyCon
 mkTyConApp   :: TyCon -> [TypeRep] -> TypeRep
-showsTypeRep :: TypeRep -> ShowS
 
 cast :: (Typeable a, Typeable b) => a -> Maybe b
 

diff --git a/Foreign/C/Types.hs b/Foreign/C/Types.hs
index 5867d0c..0304b15 100644 (file)
--- a/Foreign/C/Types.hs
+++ b/Foreign/C/Types.hs
@@ -73,7 +73,7 @@ import {-# SOURCE #-} Foreign.Storable
 import Data.Bits        ( Bits(..) )
 import Data.Int         ( Int8,  Int16,  Int32,  Int64  )
 import Data.Word        ( Word8, Word16, Word32, Word64 )
-import {-# SOURCE #-} Data.Typeable
+import {-# SOURCE #-} Data.Typeable (Typeable(typeOf), TyCon, mkTyCon, mkTyConApp)
 
 #ifdef __GLASGOW_HASKELL__
 import GHC.Base

diff --git a/GHC/Exception.lhs b/GHC/Exception.lhs
index 4707a0c..ad10481 100644 (file)
--- a/GHC/Exception.lhs
+++ b/GHC/Exception.lhs
@@ -19,7 +19,7 @@
 module GHC.Exception where
 
 import Data.Maybe
-import {-# SOURCE #-} Data.Typeable
+import {-# SOURCE #-} Data.Typeable (Typeable, cast)
 import GHC.Base
 import GHC.Show
 \end{code}