summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Price <ben@brprice.uk>2019-01-15 12:38:44 +0000
committerBen Gamari <ben@smart-cactus.org>2019-01-16 14:17:20 -0500
commit6acb36d8ea169dfc0ddc4e10559a9bf6b4316212 (patch)
tree0050ffc6043f9bb9f6d13c99ba97a7a7b3fc59bc
parent61f178b617fcb2c1102b0d0505bb3c70e83c1843 (diff)
downloadhaskell-6acb36d8ea169dfc0ddc4e10559a9bf6b4316212.tar.gz
doc: behaviour of +RTS -h depends on profiling
The rts option `-h` behaves as `-hT` when compiled without profiling, and `-hc` when compiled with profiling. Add a note to the user's guide highlighting this inconsistency.
-rw-r--r--docs/users_guide/profiling.rst5
-rw-r--r--docs/users_guide/runtime_control.rst4
2 files changed, 9 insertions, 0 deletions
diff --git a/docs/users_guide/profiling.rst b/docs/users_guide/profiling.rst
index def3596393..c1379f3970 100644
--- a/docs/users_guide/profiling.rst
+++ b/docs/users_guide/profiling.rst
@@ -697,6 +697,11 @@ following RTS options select which break-down to use:
*Requires :ghc-flag:`-prof`.* Breaks down the graph by the cost-centre stack
which produced the data.
+ .. note:: The meaning of the shortened :rts-flag:`-h` is dependent on whether
+ your program was compiled for profiling. When compiled for profiling,
+ :rts-flag:`-h` is equivalent to :rts-flag:`-hc`, but otherwise is
+ equivalent to :rts-flag:`-hT` (see :ref:`rts-profiling`).
+
.. rts-flag:: -hm
*Requires :ghc-flag:`-prof`.* Break down the live heap by the module
diff --git a/docs/users_guide/runtime_control.rst b/docs/users_guide/runtime_control.rst
index 7526b06355..a5c2f1474f 100644
--- a/docs/users_guide/runtime_control.rst
+++ b/docs/users_guide/runtime_control.rst
@@ -984,6 +984,10 @@ executables:
``THUNK``). To get a more detailed profile, use the full profiling support
(:ref:`profiling`). Can be shortened to :rts-flag:`-h`.
+ .. note:: The meaning of the shortened :rts-flag:`-h` is dependent on whether
+ your program was compiled for profiling.
+ (See :ref:`rts-options-heap-prof` for details.)
+
.. rts-flag:: -L ⟨n⟩
:default: 25 characters