| ... | ... | @@ -48,7 +48,7 @@ instanceMonadFoowhere... |
|
|
|
Changes implemented:
|
|
|
|
|
|
|
|
- Module `Control.Monad.Fail` with class `MonadFail` and method `fail`, distinct from `Prelude`’s `fail` added.
|
|
|
|
- Language extension `-XControl.Monad.Fail` to change desugaring to use that `fail`
|
|
|
|
- Language extension `-XMonadFailDesugaring` to change the desugaring to use that `fail`
|
|
|
|
- (Some warnings, off by default, are added)
|
|
|
|
|
|
|
|
|
| ... | ... | @@ -86,10 +86,10 @@ instanceFail.MonadFailFoowhere... |
|
|
|
Changes implemented:
|
|
|
|
|
|
|
|
- `-XMonadFailDesugaring` is the default now
|
|
|
|
- Explicit definitions of `Monad.fail` cause warnings now. (**TODO**: Even a canonical `fail = Fail.fail` definition?)
|
|
|
|
- Explicit definitions of `Monad.fail` cause warnings now.
|
|
|
|
|
|
|
|
|
|
|
|
Backward-compatible code (**correct?**)
|
|
|
|
Backward-compatible code:
|
|
|
|
|
|
|
|
```
|
|
|
|
{-# LANGUAGE MonadFailDesugaring #-}importqualifiedControl.Monad.Failas Fail
|
| ... | ... | |
