diff options
Diffstat (limited to 'docs/users_guide/8.12.1-notes.rst')
-rw-r--r-- | docs/users_guide/8.12.1-notes.rst | 14 |
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 ~~~~~~~~ |