diff options
Diffstat (limited to 'docs/users_guide/extending_ghc.rst')
-rw-r--r-- | docs/users_guide/extending_ghc.rst | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/docs/users_guide/extending_ghc.rst b/docs/users_guide/extending_ghc.rst index 5908df7bfd..ee816bf1b0 100644 --- a/docs/users_guide/extending_ghc.rst +++ b/docs/users_guide/extending_ghc.rst @@ -232,9 +232,10 @@ be reset with the :ghc-flag:`-fclear-plugins` option. :category: plugins Clear the list of plugins previously specified with - :ghc-flag:`-fplugin`. This is useful in GHCi where simply removing the - :ghc-flag:`-fplugin` options from the command line is not possible. Instead - `:set -fclear-plugins` can be used. + :ghc-flag:`-fplugin <-fplugin=⟨module⟩>`. This is useful in GHCi where + simply removing the :ghc-flag:`-fplugin <-fplugin=⟨module⟩>` options from + the command line is not possible. Instead `:set -fclear-plugins` can be + used. As an example, in order to load the plugin exported by ``Foo.Plugin`` in |