Come definire un'eccezione personalizzata in Haskell?

Question

La documentazione Control.Exception dice che posso fare le seguenti operazioni per creare la mia propria eccezione:

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

instance Exception MyException 

Se incollo questo in un file e compilare (dopo l'importazione Control.Exception e Data.Typeable), ottengo:

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' 

Devo attivare questa estensione per avere eccezioni definite dall'utente? In caso contrario, per favore, fornire un esempio. Grazie.

Answer 1

Sì, è necessario attivare tale estensione. Non è una buona idea provare a scrivere l'istanza Typeable a mano perché ha alcuni legami con le parti interne di GHC.