[commit: ghc] master: Minor stylistic fixes in glasgow_exts.rst (91e985c)
git at git.haskell.org
git at git.haskell.org
Mon Dec 7 11:14:52 UTC 2015
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/91e985cd99e9f628e7cd01fc5dd0e6f596337446/ghc
>---------------------------------------------------------------
commit 91e985cd99e9f628e7cd01fc5dd0e6f596337446
Author: Ben Gamari <ben at smart-cactus.org>
Date: Mon Dec 7 11:23:50 2015 +0100
Minor stylistic fixes in glasgow_exts.rst
>---------------------------------------------------------------
91e985cd99e9f628e7cd01fc5dd0e6f596337446
docs/users_guide/glasgow_exts.rst | 25 +++++++++++--------------
1 file changed, 11 insertions(+), 14 deletions(-)
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index 7e448be..f86d716 100644
--- a/docs/users_guide/glasgow_exts.rst
+++ b/docs/users_guide/glasgow_exts.rst
@@ -1721,11 +1721,12 @@ comprehensions are explained in the previous chapters
the type ``[a]`` with the type ``Monad m => m a`` for monad
comprehensions.
-Note: Even though most of these examples are using the list monad, monad
-comprehensions work for any monad. The ``base`` package offers all
-necessary instances for lists, which make ``MonadComprehensions``
-backward compatible to built-in, transform and parallel list
-comprehensions.
+.. note::
+ Even though most of these examples are using the list monad, monad
+ comprehensions work for any monad. The ``base`` package offers all
+ necessary instances for lists, which make ``MonadComprehensions``
+ backward compatible to built-in, transform and parallel list
+ comprehensions.
More formally, the desugaring is as follows. We write ``D[ e | Q]`` to
mean the desugaring of the monad comprehension ``[ e | Q]``:
@@ -6690,9 +6691,7 @@ Two things to watch out for:
specifications cannot be nested. To specify ``GMap``\ 's data
constructors, you have to list it separately.
-- Consider this example:
-
- ::
+- Consider this example: ::
module X where
data family D
@@ -6701,13 +6700,11 @@ Two things to watch out for:
import X
data instance D Int = D1 | D2
- Module Y exports all the entities defined in Y, namely the data
+ Module ``Y`` exports all the entities defined in ``Y``, namely the data
constructors ``D1`` and ``D2``, and *implicitly* the data family ``D``,
- even though it's defined in X.
- This means you can write "``import Y( D(D1,D2) )``" *without*
- giving an explicit export list like this:
-
- ::
+ even though it's defined in ``X``.
+ This means you can write ``import Y( D(D1,D2) )`` *without*
+ giving an explicit export list like this: ::
module Y( D(..) ) where ...
or module Y( module Y, D ) where ...
More information about the ghc-commits
mailing list