diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/phases.rst | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/docs/users_guide/phases.rst b/docs/users_guide/phases.rst index 8d0c32f5c1..f60ee30709 100644 --- a/docs/users_guide/phases.rst +++ b/docs/users_guide/phases.rst @@ -1076,6 +1076,7 @@ for example). :shortdesc: Use the threaded runtime :type: dynamic :category: linking + :reverse: -single-threaded Link the program with the "threaded" version of the runtime system. The threaded runtime system is so-called because it manages multiple @@ -1099,6 +1100,16 @@ for example). called from multiple OS threads simultaneously. See :ref:`ffi-threads`. +.. ghc-flag:: -single-threaded + :shortdesc: Use the single-threaded runtime + :type: dynamic + :category: linking + :reverse: -threaded + + :since: 9.8 + + Switch to the single threaded (default) version of the runtime. + .. ghc-flag:: -eventlog :shortdesc: Enable runtime event tracing :type: dynamic |