Comment définir une exception personnalisée dans Haskell?

Question

La documentation Control.Exception dit que je peux faire ce qui suit pour créer ma propre exception:

data MyException = ThisException | ThatException 
    deriving (Show, Typeable) 

instance Exception MyException 

Si je coller dans un fichier et compilent (après l'importation Control.Exception et Data.Typeable), je reçois: Dois-je activer cette extension afin d'avoir des exceptions définies par l'utilisateur?

exp.hs:6:20: 
    Can't make a derived instance of `Typeable MyException' 
     (You need -XDeriveDataTypeable to derive an instance for this class) 
    In the data type declaration for `MyException' 

Si non, quelqu'un s'il vous plaît fournir un exemple. Merci.

Answer 1

Oui, vous devez activer cette extension. Ce n'est pas une bonne idée d'essayer d'écrire l'instance Typeable à la main car elle a des liens avec les internes de GHC.