From 86ab0d63460af5d4dfa9cbe4e7cb759218a6fecb Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Tue, 5 Aug 2008 23:47:20 +0000 Subject: [PATCH] Remove the DynIOError constructor of IOErrorType As far as I can see it is never used or exported --- GHC/IOBase.lhs | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/GHC/IOBase.lhs b/GHC/IOBase.lhs index 9b4b0be..d55be42 100644 --- a/GHC/IOBase.lhs +++ b/GHC/IOBase.lhs @@ -65,7 +65,6 @@ import GHC.Exception #ifndef __HADDOCK__ import {-# SOURCE #-} Data.Typeable ( Typeable ) -import {-# SOURCE #-} Data.Dynamic ( Dynamic ) #endif -- --------------------------------------------------------------------------- @@ -814,13 +813,9 @@ data IOErrorType | TimeExpired | ResourceVanished | Interrupted - | DynIOError Dynamic -- cheap&cheerful extensible IO error type. instance Eq IOErrorType where - x == y = - case x of - DynIOError{} -> False -- from a strictness POV, compatible with a derived Eq inst? - _ -> getTag x ==# getTag y + x == y = getTag x ==# getTag y instance Show IOErrorType where showsPrec _ e = @@ -845,7 +840,6 @@ instance Show IOErrorType where TimeExpired -> "timeout" UnsatisfiedConstraints -> "unsatisified constraints" -- ultra-precise! UnsupportedOperation -> "unsupported operation" - DynIOError{} -> "unknown IO error" -- | Construct an 'IOError' value with a string describing the error. -- The 'fail' method of the 'IO' instance of the 'Monad' class raises a -- 1.7.10.4