diff options
author | Takenobu Tani <takenobu.hs@gmail.com> | 2021-03-30 20:35:28 +0900 |
---|---|---|
committer | Takenobu Tani <takenobu.hs@gmail.com> | 2021-03-30 20:41:46 +0900 |
commit | afdacc554c49e2b78a15749b16ef06fc7c547596 (patch) | |
tree | 573ef7ea17d86c8b72e675dcc3d203b8732b03ca | |
parent | 6604409594f71d2ed5963bb3897bc4ee772cc5c0 (diff) | |
download | haskell-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.rst | 6 | ||||
-rw-r--r-- | docs/users_guide/eventlog-formats.rst | 6 | ||||
-rw-r--r-- | docs/users_guide/exts/let_generalisation.rst | 2 |
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>`__. |