On Mon, Nov 18, 2024 at 05:06:46PM +0100, Daniel Gröber wrote:
> On Mon, Nov 18, 2024 at 01:08:50AM +0100, Alexandre Detiste wrote:
> > I fumbled a bit but don't know how to repack
> > Control.Monad.Error with Control.Monad.Except
>
> The Error instance is superfluous since ErrorT/ExceptT, certain instances
> of which would have needed it, are not used at all. Removing the `instance
> Error RaincatError where` line builds for me.
Oh, and the failing import obviously.
--Daniel
diff --git a/src/Error/Error.hs b/src/Error/Error.hs
index 9d176f7..6965dd6 100644
--- a/src/Error/Error.hs
+++ b/src/Error/Error.hs
@@ -3,7 +3,6 @@ module Error.Error (RaincatError(..), throwEx, catchEx, showError) where
import Data.Typeable
import Control.Exception.Extensible as EE
-import Control.Monad.Error
data RaincatError
= BadLevelData String
@@ -11,7 +10,6 @@ data RaincatError
| BadRectData
deriving (Typeable, Show)
-instance Error RaincatError where
instance Exception RaincatError where
throwEx :: RaincatError -> a
Attachment:
signature.asc
Description: PGP signature