summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTakenobu Tani <takenobu.hs@gmail.com>2021-03-30 20:35:28 +0900
committerTakenobu Tani <takenobu.hs@gmail.com>2021-03-30 20:41:46 +0900
commitafdacc554c49e2b78a15749b16ef06fc7c547596 (patch)
tree573ef7ea17d86c8b72e675dcc3d203b8732b03ca
parent6604409594f71d2ed5963bb3897bc4ee772cc5c0 (diff)
downloadhaskell-afdacc554c49e2b78a15749b16ef06fc7c547596.tar.gz
users-guide: Correct markdown for ghc-9.2
This patch corrects some markdown. [skip ci]
-rw-r--r--docs/users_guide/9.2.1-notes.rst6
-rw-r--r--docs/users_guide/eventlog-formats.rst6
-rw-r--r--docs/users_guide/exts/let_generalisation.rst2
3 files changed, 7 insertions, 7 deletions
diff --git a/docs/users_guide/9.2.1-notes.rst b/docs/users_guide/9.2.1-notes.rst
index bbd36c1dc3..46e174aa03 100644
--- a/docs/users_guide/9.2.1-notes.rst
+++ b/docs/users_guide/9.2.1-notes.rst
@@ -117,7 +117,7 @@ Language
g = (`f` "hello")
``g`` can be made to typecheck once more by eta expanding it to
- ``\x -> x \`f\` "hello"``. For more information, see
+ ``\x -> x `f` "hello"``. For more information, see
:ref:`simple-subsumption`.
Compiler
@@ -193,7 +193,7 @@ Runtime system
- The ``-xt`` RTS flag has been removed. Now STACK and TSO closures are always
included in heap profiles. Tooling can choose to filter out these closure types
-` if necessary.
+ if necessary.
- A new heap profiling mode, :rts-flag:`-hi`, profile by info table allows for
fine-grain banding by the info table address of a closure. The profiling
@@ -333,7 +333,7 @@ Eventlog
test2 :: forall (x :: Nat). Proxy (x <=? x) -> Proxy True
- On POSIX, ``System.IO.openFile`` can no longer leak a file descriptor if it
- is interrupted by an asynchronous exception (#19114, #19115).
+ is interrupted by an asynchronous exception (:ghc-ticket:`19114`, :ghc-ticket:`19115`).
- There's a new binding ``GHC.Exts.considerAccessible``. It's equivalent to
``True`` and allows the programmer to turn off pattern-match redundancy
diff --git a/docs/users_guide/eventlog-formats.rst b/docs/users_guide/eventlog-formats.rst
index b5a01995f5..6e6c71e1f3 100644
--- a/docs/users_guide/eventlog-formats.rst
+++ b/docs/users_guide/eventlog-formats.rst
@@ -246,11 +246,11 @@ A typical garbage collection will look something like the following:
are allocated.
10. A :event-type:`BLOCKS_SIZE` event will be emitted giving the
- current size of the heap, in bytes, calculated by how many blocks
- are allocated.
+ current size of the heap, in bytes, calculated by how many blocks
+ are allocated.
11. A :event-type:`GC_STATS_GHC` event will be emitted
- containing various details of the collection and heap state.
+ containing various details of the collection and heap state.
12. In the case of a major collection, a
:event-type:`HEAP_LIVE` event will be emitted describing
diff --git a/docs/users_guide/exts/let_generalisation.rst b/docs/users_guide/exts/let_generalisation.rst
index c6de6454aa..6dc556b016 100644
--- a/docs/users_guide/exts/let_generalisation.rst
+++ b/docs/users_guide/exts/let_generalisation.rst
@@ -11,7 +11,7 @@ Let-generalisation
Infer less polymorphic types for local bindings by default.
-An ML-style language usually generalises the type of any let-bound or where-bound variable, so that it is as polymorphic as possible. With the extension :extension:`MonoLocalBinds` GHC implements a slightly more conservative policy, for reasons descibed in Section 4.2 of `"OutsideIn(X): Modular type inference with local assumptions”<https://www.microsoft.com/en-us/research/publication/outsideinx-modular-type-inference-with-local-assumptions/>`__,
+An ML-style language usually generalises the type of any let-bound or where-bound variable, so that it is as polymorphic as possible. With the extension :extension:`MonoLocalBinds` GHC implements a slightly more conservative policy, for reasons descibed in Section 4.2 of `OutsideIn(X): Modular type inference with local assumptions <https://www.microsoft.com/en-us/research/publication/outsideinx-modular-type-inference-with-local-assumptions/>`__,
and a `related blog post
<https://www.haskell.org/ghc/blog/20100930-LetGeneralisationInGhc7.html>`__.