Remove MonadFail (ST s) instance

Vanessa McHale vamchale at gmail.com
Sun Nov 24 16:38:36 UTC 2019


I like this idea

Cheers,
Vanessa

On 11/24/19 9:57 AM, Oleg Grenrus wrote:
> I cannot see any justification for that instance
>
>     -- | @since 4.11.0.0
>     instance Fail.MonadFail (ST s) where
>         fail s = errorWithoutStackTrace s
>
> If someone wants to fail pattern matches in `ST s`, please do that
> explicitly.
>
> I suggest and propose the removal without any deprecation period. If
> someone depends on this behavior, they ought to fix they code
> immediately: it's straight forward compiler type-error driven
> refactoring.
>
> Note: compatibility package
> https://hackage.haskell.org/package/fail-4.9.0.0/docs/Control-Monad-Fail.html
> doesn't have that instance, so I suspect not-that many use(d) that
> instance.
>
> Discussion period: 2 weeks (until Monday 2019-12-09).
>
> - Oleg
>
> P.S. you might run into problems  with
> https://gitlab.haskell.org/ghc/ghc/issues/15681 bug/miss-feature, but
> there's always a workaround to write code using explicit matching
> combinator, so it's not a show stopper.
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 659 bytes
Desc: OpenPGP digital signature
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20191124/2b8b5bf1/attachment.sig>


More information about the Libraries mailing list