Use extensible exceptions at the lowest level

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

diff --git a/Data/Typeable.hs-boot b/Data/Typeable.hs-boot
index 4088389..057468e 100644 (file)
--- a/Data/Typeable.hs-boot
+++ b/Data/Typeable.hs-boot
@@ -3,7 +3,9 @@
 
 module Data.Typeable where
 
+import Data.Maybe
 import GHC.Base
+import {-# SOURCE #-} GHC.IOBase
 import GHC.Show
 
 data TypeRep
@@ -13,6 +15,10 @@ mkTyCon      :: String -> TyCon
 mkTyConApp   :: TyCon -> [TypeRep] -> TypeRep
 showsTypeRep :: TypeRep -> ShowS
 
+cast :: (Typeable a, Typeable b) => a -> Maybe b
+
 class Typeable a where
   typeOf :: a -> TypeRep
 
+instance Typeable Exception
+