<div dir="auto">I'm pretty sure this has been discussed before. I have no idea what the resolution was.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Nov 24, 2019, 10:57 AM Oleg Grenrus <<a href="mailto:oleg.grenrus@iki.fi">oleg.grenrus@iki.fi</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I cannot see any justification for that instance<br>
<br>
     -- | @since 4.11.0.0<br>
     instance Fail.MonadFail (ST s) where<br>
         fail s = errorWithoutStackTrace s<br>
<br>
If someone wants to fail pattern matches in `ST s`, please do that <br>
explicitly.<br>
<br>
I suggest and propose the removal without any deprecation period. If <br>
someone depends on this behavior, they ought to fix they code <br>
immediately: it's straight forward compiler type-error driven refactoring.<br>
<br>
Note: compatibility package <br>
<a href="https://hackage.haskell.org/package/fail-4.9.0.0/docs/Control-Monad-Fail.html" rel="noreferrer noreferrer" target="_blank">https://hackage.haskell.org/package/fail-4.9.0.0/docs/Control-Monad-Fail.html</a> <br>
doesn't have that instance, so I suspect not-that many use(d) that instance.<br>
<br>
Discussion period: 2 weeks (until Monday 2019-12-09).<br>
<br>
- Oleg<br>
<br>
P.S. you might run into problems  with <br>
<a href="https://gitlab.haskell.org/ghc/ghc/issues/15681" rel="noreferrer noreferrer" target="_blank">https://gitlab.haskell.org/ghc/ghc/issues/15681</a> bug/miss-feature, but <br>
there's always a workaround to write code using explicit matching <br>
combinator, so it's not a show stopper.<br>
<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank" rel="noreferrer">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>