MonadFail proposal (MFP): Moving fail out of Monad

[Johan Tibell]

On Wed, Jun 10, 2015 at 12:42 AM, David Luposchainsky <
dluposchainsky at googlemail.com> wrote:

> I think there are two important consequences of MonadFail. First of all,
> we can
> all safely write failable patterns if we so desire. Second, the compiler
> can
> ensure other people's codebases do not lie to us (knowingly or
> unknowingly).
>

The second is a bit overstated I think. Any function you call can still
have partial pattern matches in all the other places Haskell allows them
and you wouldn't know from the type.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20150610/3d43a8bb/attachment.html>