diff options
Diffstat (limited to 'docs/users_guide/using.rst')
| -rw-r--r-- | docs/users_guide/using.rst | 30 |
1 files changed, 11 insertions, 19 deletions
diff --git a/docs/users_guide/using.rst b/docs/users_guide/using.rst index 4c98e08b4f..9ec26f2bb2 100644 --- a/docs/users_guide/using.rst +++ b/docs/users_guide/using.rst @@ -130,7 +130,7 @@ possible to do this directly in the source file using the ``OPTIONS_GHC`` is a *file-header pragma* (see :ref:`options-pragma`). Only *dynamic* flags can be used in an ``OPTIONS_GHC`` pragma (see -:ref:`static-dynamic-flags`). +:ref:`mode-dynamic-flags`). Note that your command shell does not get to the source file options, they are just included literally in the array of command-line arguments @@ -153,37 +153,29 @@ Setting options in GHCi Options may also be modified from within GHCi, using the :ghci-cmd:`:set` command. -.. _static-dynamic-flags: +.. _mode-dynamic-flags: -Static, Dynamic, and Mode options ---------------------------------- +Dynamic and Mode options +------------------------ .. index:: - single: static; options single: dynamic; options single: mode; options -Each of GHC's command line options is classified as static, dynamic or -mode: +Each of GHC's command line options is classified as dynamic or mode: - For example, :ghc-flag:`--make` or :ghc-flag:`-E`. There may only be a single mode - flag on the command line. The available modes are listed in - :ref:`modes`. + Mode: A mode may be used on the command line only. + You can pass only one mode flag. + For example, :ghc-flag:`--make` or :ghc-flag:`-E`. + The available modes are listed in :ref:`modes`. - Most non-mode flags fall into this category. A dynamic flag may be - used on the command line, in a ``OPTIONS_GHC`` pragma in a source + Dynamic: A dynamic flag may be used on the command line, + in a ``OPTIONS_GHC`` pragma in a source file, or set using :ghci-cmd:`:set` in GHCi. - A few flags are "static", which means they can only be used on the - command-line, and remain in force over the entire GHC/GHCi run. - The flag reference tables (:ref:`flag-reference`) lists the status of each flag. -There are a few flags that are static except that they can also be used -with GHCi's :ghci-cmd:`:set` command; these are listed as “static/\ ``:set``\ ” -in the table. - .. _file-suffixes: Meaningful file suffixes |