diff --git a/docs/users_guide/runtime_control.rst b/docs/users_guide/runtime_control.rst index 64d38367a782758c257c91f78e55620ca1b6bba5..5ba60e685471ac79f24bfc70a930ddb09f53b5d6 100644 --- a/docs/users_guide/runtime_control.rst +++ b/docs/users_guide/runtime_control.rst @@ -411,6 +411,13 @@ performance. Note that :rts-flag:`--nonmoving-gc` cannot be used with ``-G1``, :rts-flag:`profiling <-hc>` nor :rts-flag:`-c`. +.. rts-flag:: -xn + + :default: off + :since: 8.10.1 + + An alias for :rts-flag:`--nonmoving-gc` + .. rts-flag:: -w :default: off @@ -422,13 +429,6 @@ performance. (:rts-flag:`-hT`) unless linked against the profiling runtime system with :ghc-flag:`-prof`. -.. rts-flag:: -xn - - :default: off - :since: 8.10.1 - - An alias for :rts-flag:`--nonmoving-gc` - .. rts-flag:: -A ⟨size⟩ :default: 4MB