diff options
| author | Hécate <hecate+gitlab@glitchbra.in> | 2021-01-07 22:53:12 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-01-27 17:40:32 -0500 |
| commit | 08fba093bb0b9e186cad9e35e3f58397456c7b4a (patch) | |
| tree | 630a6c9f1e42b5aa926379a39d9f4fedd1fbd137 /compiler | |
| parent | 5d6009a88156ad42b387383e41a7e0707c7f06a4 (diff) | |
| download | haskell-08fba093bb0b9e186cad9e35e3f58397456c7b4a.tar.gz | |
Remove -XMonadFailDesugaring references
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/GHC/Driver/Session.hs | 2 | ||||
| -rw-r--r-- | compiler/GHC/Rename/Expr.hs | 7 |
2 files changed, 3 insertions, 6 deletions
diff --git a/compiler/GHC/Driver/Session.hs b/compiler/GHC/Driver/Session.hs index 8e92fc974f..64c945a7cf 100644 --- a/compiler/GHC/Driver/Session.hs +++ b/compiler/GHC/Driver/Session.hs @@ -3647,8 +3647,6 @@ xFlagsDeps = [ flagSpec "LinearTypes" LangExt.LinearTypes, flagSpec "MagicHash" LangExt.MagicHash, flagSpec "MonadComprehensions" LangExt.MonadComprehensions, - depFlagSpec "MonadFailDesugaring" LangExt.MonadFailDesugaring - "MonadFailDesugaring is now the default behavior", flagSpec "MonoLocalBinds" LangExt.MonoLocalBinds, depFlagSpecCond "MonoPatBinds" LangExt.MonoPatBinds id diff --git a/compiler/GHC/Rename/Expr.hs b/compiler/GHC/Rename/Expr.hs index bfa773ed9f..55618978a5 100644 --- a/compiler/GHC/Rename/Expr.hs +++ b/compiler/GHC/Rename/Expr.hs @@ -780,10 +780,9 @@ exhaustive list). How we deal with pattern match failure is context-dependent. entirely. So, for list comprehensions, the fail function is set to 'Nothing' for clarity. - * In the case of monadic contexts (e.g. monad comprehensions, do, and mdo - expressions) we want pattern match failure to be desugared to the appropriate - 'fail' function (either that of Monad or MonadFail, depending on whether - -XMonadFailDesugaring is enabled.) +* In the case of monadic contexts (e.g. monad comprehensions, do, and mdo + expressions) we want pattern match failure to be desugared to the + 'fail' function (from MonadFail type class). At one point we failed to make this distinction, leading to #11216. -} |