summaryrefslogtreecommitdiff
path: root/docs/users_guide/8.12.1-notes.rst
diff options
context:
space:
mode:
Diffstat (limited to 'docs/users_guide/8.12.1-notes.rst')
-rw-r--r--docs/users_guide/8.12.1-notes.rst14
1 files changed, 14 insertions, 0 deletions
diff --git a/docs/users_guide/8.12.1-notes.rst b/docs/users_guide/8.12.1-notes.rst
index 1bf9464db4..deb29310ff 100644
--- a/docs/users_guide/8.12.1-notes.rst
+++ b/docs/users_guide/8.12.1-notes.rst
@@ -150,6 +150,20 @@ Language
data U a where
MkU :: (Show a => U a)
+* A new language extension :extension:`QualifiedDo` is implemented, allowing
+ to qualify a do block to control which operations to use for desugaring do
+ syntax. ::
+
+ {-# LANGUAGE QualifiedDo #-}
+ import qualified SomeModule as M
+
+ f x = M.do -- desugars to:
+ y <- M.return x -- M.return x M.>>= \y ->
+ M.return y -- M.return y M.>>
+ M.return y -- M.return y
+
+ See :ref:`qualified-do-notation` for more details.
+
Compiler
~~~~~~~~