Proposal: Remove the bogus MonadFail instance for ST

David Feuer david.feuer at gmail.com
Wed Mar 14 13:41:49 UTC 2018


I am not. I think that instance is fairly legitimate, as it raises an
IO exception that can be caught in IO. IO's Alternative instance is a
bit shadier, but that's not a topic for this proposal either. ST is an
entirely different story, and I'm sorry I accidentally mixed it in.

On Wed, Mar 14, 2018 at 9:05 AM, Ryan Scott <ryan.gl.scott at gmail.com> wrote:
> It's worth noting that the MonadFail instance for IO [1] also simply throws
> an error (by way of failIO). Are you proposing we remove this instance as
> well?
>
> Ryan S.
> -----
> [1]
> http://git.haskell.org/ghc.git/blob/cb6d8589c83247ec96d5faa82df3e93f419bbfe0:/libraries/base/Control/Monad/Fail.hs#l80
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>


More information about the Libraries mailing list