summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorHécate <hecate+gitlab@glitchbra.in>2021-01-07 22:53:12 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-01-27 17:40:32 -0500
commit08fba093bb0b9e186cad9e35e3f58397456c7b4a (patch)
tree630a6c9f1e42b5aa926379a39d9f4fedd1fbd137 /docs
parent5d6009a88156ad42b387383e41a7e0707c7f06a4 (diff)
downloadhaskell-08fba093bb0b9e186cad9e35e3f58397456c7b4a.tar.gz
Remove -XMonadFailDesugaring references
Diffstat (limited to 'docs')
-rw-r--r--docs/users_guide/exts/monadfail_desugaring.rst23
-rw-r--r--docs/users_guide/exts/syntax.rst1
2 files changed, 0 insertions, 24 deletions
diff --git a/docs/users_guide/exts/monadfail_desugaring.rst b/docs/users_guide/exts/monadfail_desugaring.rst
deleted file mode 100644
index 1232bf3283..0000000000
--- a/docs/users_guide/exts/monadfail_desugaring.rst
+++ /dev/null
@@ -1,23 +0,0 @@
-.. _monadfail-desugaring:
-
-New monadic failure desugaring mechanism
-----------------------------------------
-
-.. extension:: MonadFailDesugaring
- :shortdesc: Enable monadfail desugaring.
-
- :since: 8.0.1
-
- Use the ``MonadFail.fail`` instead of the legacy ``Monad.fail`` function
- when desugaring refutable patterns in ``do`` blocks.
-
-The ``-XMonadFailDesugaring`` extension switches the desugaring of
-``do``-blocks to use ``MonadFail.fail`` instead of ``Monad.fail``.
-
-This extension is enabled by default since GHC 8.6.1, under the
-`MonadFail Proposal (MFP)
-<https://gitlab.haskell.org/haskell/prime/-/wikis/libraries/proposals/monad-fail>`__.
-
-This extension is temporary, and will be deprecated in a future release.
-
-
diff --git a/docs/users_guide/exts/syntax.rst b/docs/users_guide/exts/syntax.rst
index bb29b55772..7cbc5cf198 100644
--- a/docs/users_guide/exts/syntax.rst
+++ b/docs/users_guide/exts/syntax.rst
@@ -14,7 +14,6 @@ Syntax
parallel_list_comprehensions
generalised_list_comprehensions
monad_comprehensions
- monadfail_desugaring
overloaded_lists
rebindable_syntax
tuple_sections