diff options
Diffstat (limited to 'docs/users_guide/using.rst')
-rw-r--r-- | docs/users_guide/using.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/users_guide/using.rst b/docs/users_guide/using.rst index f5761a4434..460201eb92 100644 --- a/docs/users_guide/using.rst +++ b/docs/users_guide/using.rst @@ -617,6 +617,11 @@ See also the ``--help``, ``--version``, ``--numeric-version``, and list of some in the instances it knows about. With this flag it prints *all* the instances it knows about. +.. ghc-flag:: -fhide-source-paths + + Starting with minimal verbosity (see :ghc-flag:`-v1`), GHC displays the + name, the source path and the target path of each compiled module. This flag + can be used to reduce GHC's output by hiding source paths and target paths. The following flags control the way in which GHC displays types in error messages and in GHCi: |