diff options
Diffstat (limited to 'docs/users_guide/using.rst')
| -rw-r--r-- | docs/users_guide/using.rst | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/docs/users_guide/using.rst b/docs/users_guide/using.rst index 728d1cdb79..abdcf602ec 100644 --- a/docs/users_guide/using.rst +++ b/docs/users_guide/using.rst @@ -1255,14 +1255,6 @@ messages and in GHCi: the errors and warnings that originate later in the file are displayed first. -.. ghc-flag:: -H ⟨size⟩ - :shortdesc: Set the minimum size of the heap to ⟨size⟩ - :type: dynamic - :category: misc - - Set the minimum size of the heap to ⟨size⟩. This option is - equivalent to ``+RTS -Hsize``, see :ref:`rts-options-gc`. - .. ghc-flag:: -Rghc-timing :shortdesc: Summarise timing stats for GHC (same as ``+RTS -tstderr``). :type: dynamic @@ -1508,6 +1500,14 @@ Some flags only make sense for a particular use case. ``ghcversions.h`` file to be included. This is primarily intended to be used by GHC's build system. +.. ghc-flag:: -H ⟨size⟩ + :shortdesc: Set the minimum size of the heap to ⟨size⟩ + :type: dynamic + :category: misc + + Set the minimum size of the heap to ⟨size⟩. This option is + equivalent to ``+RTS -Hsize``, see :ref:`rts-options-gc`. + Other environment variables ~~~~~~~~~~~~~~~~~~~~~~~~~~~ |