diff options
| author | Takenobu Tani <takenobu.hs@gmail.com> | 2018-09-17 16:47:02 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krz.gogolewski@gmail.com> | 2018-09-17 16:47:02 +0200 |
| commit | 43967c0c7d2d0110cfc5f9d64a7dab3a3dda8953 (patch) | |
| tree | 31770118891101017a8e2b06b60cf940490edc36 | |
| parent | 88130dbe948eaa7f76cf237d8aba17b41fac4904 (diff) | |
| download | haskell-43967c0c7d2d0110cfc5f9d64a7dab3a3dda8953.tar.gz | |
users-guide: Fix code-block layout for QuantifiedConstraints
Summary:
Fix code-block layout for QuantifiedConstraints.
[ci skip]
Test Plan: build
Reviewers: bgamari, monoidal
Reviewed By: monoidal
Subscribers: rwbarton, carter
Differential Revision: https://phabricator.haskell.org/D5121
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 0c977d08d9..6d960a61d3 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -9752,7 +9752,7 @@ This idea is very old; see Seciton 7 of `Derivable type classes <https://www.mic Syntax changes ---------------- -`Haskell 2010 <https://www.haskell.org/onlinereport/haskell2010/haskellch10.html#x17-18000010.5>`_ defines a ``context`` (the bit to the left of ``=>`` in a type) like this :: +`Haskell 2010 <https://www.haskell.org/onlinereport/haskell2010/haskellch10.html#x17-18000010.5>`_ defines a ``context`` (the bit to the left of ``=>`` in a type) like this .. code-block:: none @@ -9762,7 +9762,7 @@ Syntax changes class ::= qtycls tyvar | qtycls (tyvar atype1 ... atypen) -We to extend ``class`` (warning: this is a rather confusingly named non-terminal symbol) with two extra forms, namely precisely what can appear in an instance declaration :: +We to extend ``class`` (warning: this is a rather confusingly named non-terminal symbol) with two extra forms, namely precisely what can appear in an instance declaration .. code-block:: none @@ -9775,9 +9775,9 @@ The ``context =>`` part is optional. That is the only syntactic change to the l Notes: -- Where GHC allows extensions instance declarations we allow exactly the same extensions to this new form of ``class``. Specifically, with :extension:`ExplicitForAll` and :extension:`MultiParameterTypeClasses` the syntax becomes :: +- Where GHC allows extensions instance declarations we allow exactly the same extensions to this new form of ``class``. Specifically, with :extension:`ExplicitForAll` and :extension:`MultiParameterTypeClasses` the syntax becomes -.. code-block:: none + .. code-block:: none class ::= ... | [forall tyavrs .] [context =>] qtycls inst1 ... instn |