Skip to content

Changes

Page history
fix code examples authored by Herbert Valerio Riedel's avatar Herbert Valerio Riedel
Show whitespace changes
Inline Side-by-side
libraries/proposals/monad-fail.md
View page @ 105494ab
......@@ -173,10 +173,10 @@ Both of those tell us the "real" desugaring as just another pattern we could rec
```
importControl.Monad-- Control.Monad.Fail import will become redundant in GHC 8.8+importqualifiedControl.Monad.Failas Fail
instanceMonadFoowhere(>>=)=<...bind impl...>-- NB: `return` defaults to `pure` since GHC 7.10-- Monad(fail) will be removed in GHC 8.8+
instanceMonadFoowhere(>>=)=<...bind impl...>-- NB: `return` defaults to `pure` since GHC 7.10-- Monad(fail) will be removed in GHC 8.8+; -- GHC may or may not ignore a definition in terms of MonadFail(fail) (decision pending)
fail =Fail.fail
instanceMonadFailFoowhere
instanceFail.MonadFailFoowhere
fail =<...fail implementation...>
```
1. Change your pattern to be irrefutable
......