diff options
| author | Athas <athas@sigkill.dk> | 2019-12-01 15:01:12 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-12-03 00:00:09 -0500 |
| commit | 5a4b8d0cf2ff83d1a04826b9624fffec7b9a5683 (patch) | |
| tree | f90e2e4e523c36254e012dcf5cd15f304691981a /docs | |
| parent | fbbe18a274cd094a0582396e83619378a7071386 (diff) | |
| download | haskell-5a4b8d0cf2ff83d1a04826b9624fffec7b9a5683.tar.gz | |
Document RTS behaviour upon encountering '--'.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/runtime_control.rst | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/users_guide/runtime_control.rst b/docs/users_guide/runtime_control.rst index 1f4b766400..f6dd9a62e8 100644 --- a/docs/users_guide/runtime_control.rst +++ b/docs/users_guide/runtime_control.rst @@ -77,7 +77,8 @@ the end of the command line, as in this example: If you absolutely positively want all the rest of the options in a command line to go to the program (and not the RTS), use a -``--RTS``. +``--RTS`` or ``--``. The difference is that ``--RTS`` will not be passed to +the program, while ``--`` will. As always, for RTS options that take ⟨size⟩s: If the last character of ⟨size⟩ is a K or k, multiply by 1000; if an M or m, by 1,000,000; if a G |