Re: raincat

[Alexandre Detiste <alexandre.detiste@gmail.com>]

Thank you for the fix.

In the end, upstream was very reactive and publish a whole new release.

Greetings

Le lun. 18 nov. 2024 à 17:08, Daniel Gröber <dxld@darkboxed.org> a écrit :
>
> 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