[Git][ghc/ghc][wip/T18126] users guide: Fix various markup issues

[Ben Gamari]

Ben Gamari pushed to branch wip/T18126 at Glasgow Haskell Compiler / GHC


Commits:
567c4d03 by GHC GitLab CI at 2020-08-06T21:50:36+00:00
users guide: Fix various markup issues

- - - - -


4 changed files:

- docs/users_guide/8.12.1-notes.rst
- docs/users_guide/exts/explicit_forall.rst
- docs/users_guide/exts/instances.rst
- docs/users_guide/ghci.rst


Changes:

=====================================
docs/users_guide/8.12.1-notes.rst
=====================================
@@ -49,9 +49,10 @@ Highlights
 
   - GHC now relies on a new "ghc-bignum" package to provide Integer/Natural
     implementations. This package supports the following backends:
-      - gmp: adapted from integer-gmp package that was used before
-      - native: new Haskell implementation, faster than integer-simple which is
-        not used anymore
+
+    - gmp: adapted from integer-gmp package that was used before
+    - native: new Haskell implementation, faster than integer-simple which is
+      not used anymore
 
   - All backends now use the same representation for big numbers (the one that
     was previously used only by integer-gmp). It led to several compiler


=====================================
docs/users_guide/exts/explicit_forall.rst
=====================================
@@ -37,7 +37,7 @@ Notes:
 
       instance forall a. Eq a => Eq [a] where ...
 
-  Note that the use of ``forall``s in instance declarations is somewhat
+  Note that the use of ``forall``\ s in instance declarations is somewhat
   restricted in comparison to other types. For example, instance declarations
   are not allowed to contain nested ``forall``s. See
   :ref:`formal-instance-syntax` for more information.


=====================================
docs/users_guide/exts/instances.rst
=====================================
@@ -144,8 +144,8 @@ Where:
   ``forall a. a`` and ``Eq a => a`` are not legal ``btype``s, but
   ``(forall a. a)`` and ``(Eq a => a)`` are legal.
 - ``ctype`` is a ``btype`` that has no restrictions on an outermost
-  ``forall``/``=>``, so ``forall a. a`` and ``Eq a => a`` are legal ``ctype``s.
-- ``arg_type`` is a type that is not allowed to have ``forall``s or ``=>``s
+  ``forall``/``=>``, so ``forall a. a`` and ``Eq a => a`` are legal ``ctype``\ s.
+- ``arg_type`` is a type that is not allowed to have ``forall``s or ``=>``\ s
 - ``prefix_cls_tycon`` is a class type constructor written prefix (e.g.,
   ``Show`` or ``(&&&)``), while ``infix_cls_tycon`` is a class type constructor
   written infix (e.g., ```Show``` or ``&&&``).
@@ -155,7 +155,7 @@ implementation details of GHC's parser (such as the placement of Haddock
 comments), but it is sufficient to attain an understanding of what is
 syntactically allowed. Some further various observations about this grammar:
 
-- Instance declarations are not allowed to be declared with nested ``forall``s
+- Instance declarations are not allowed to be declared with nested ``forall``\ s
   or ``=>``s. For example, this would be rejected: ::
 
     instance forall a. forall b. C (Either a b) where ...


=====================================
docs/users_guide/ghci.rst
=====================================
@@ -2564,6 +2564,7 @@ commonly used commands.
     be used.
 
     .. code-block:: none
+
         ghci>:set -XDataKinds -XUndecidableInstances
         ghci>import GHC.TypeLits
         ghci>class A a
@@ -2974,6 +2975,11 @@ commonly used commands.
 	*X> :type length
 	length :: Foldable t => t a -> Int
 
+.. ghci-cmd:: :type +v; ⟨expression⟩
+
+    Infers and prints the type of ⟨expression⟩, binding inferred type variables
+    with :ref:`*specified* visibility <inferred-vs-specified>`.
+
 .. ghci-cmd:: :type +d; ⟨expression⟩
 
     Infers and prints the type of ⟨expression⟩, instantiating *all* the forall



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/567c4d0316c3b75403854b38afe730c9a640327a

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/567c4d0316c3b75403854b38afe730c9a640327a
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20200806/3b39b8bc/attachment-0001.html>