Cách xác định ngoại lệ tùy chỉnh trong Haskell?

Question

Các tài liệu Control.Exception nói rằng tôi có thể làm như sau để tạo ra ngoại lệ của riêng tôi:

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

instance Exception MyException 

Nếu tôi dán vào một tập tin và biên dịch (sau khi nhập Control.Exception và Data.Typeable), tôi nhận được:

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' 

Tôi có phải bật tiện ích mở rộng này để có ngoại lệ do người dùng xác định không? Nếu không, ai đó vui lòng cung cấp một ví dụ. Cảm ơn.

Answer 1

Có, bạn cần bật tiện ích mở rộng đó. Bạn không nên viết ví dụ Typeable bằng tay vì nó có một số mối liên hệ với nội bộ của GHC.