diff options
| author | Zejun Wu <watashi@fb.com> | 2019-01-30 22:13:42 -0800 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-02-04 11:04:22 -0500 |
| commit | 406e43af2f12756c80d583b86326f760f2f584cc (patch) | |
| tree | c0cafcc79b93aa398287704dd1fd6780f6c6f5c1 /docs/users_guide | |
| parent | ef25b59a97f419a2ad6457f696e32aef9ffb3a0f (diff) | |
| download | haskell-406e43af2f12756c80d583b86326f760f2f584cc.tar.gz | |
Add `-fplugin-trustworthy` to avoid marking modules as unsafe
By default, when a module is compiled with plugins, it will be marked as
unsafe. With this flag passed, all plugins are treated as trustworthy
and the safety inference will no longer be affected.
This fixes Trac #16260.
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/extending_ghc.rst | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/users_guide/extending_ghc.rst b/docs/users_guide/extending_ghc.rst index 04bb2dfb1e..b1f7b6034c 100644 --- a/docs/users_guide/extending_ghc.rst +++ b/docs/users_guide/extending_ghc.rst @@ -216,6 +216,16 @@ be reset with the :ghc-flag:`-fclear-plugins` option. Give arguments to a plugin module; module must be specified with :ghc-flag:`-fplugin=⟨module⟩`. +.. ghc-flag:: -fplugin-trustworthy + :shortdesc: Trust the used plugins and no longer mark the compiled module + as unsafe + :type: dynamic + :category: plugins + + By default, when a module is compiled with plugins, it will be marked as + unsafe. With this flag passed, all plugins are treated as trustworthy + and the safety inference will no longer be affected. + .. ghc-flag:: -fclear-plugins :shortdesc: Clear the list of active plugins :type: dynamic |