diff options
| author | David Kraeutmann <kane@kane.cx> | 2015-09-08 11:35:33 -0500 |
|---|---|---|
| committer | Austin Seipp <austin@well-typed.com> | 2015-09-08 11:35:59 -0500 |
| commit | 4356dacb4a2ae29dfbd7126b25b72d89bb9db1b0 (patch) | |
| tree | 9d118c4eb0733cd134359efe95e6847d91688abf /docs | |
| parent | dbb4e415126aceb603da0fbf657372389a47e466 (diff) | |
| download | haskell-4356dacb4a2ae29dfbd7126b25b72d89bb9db1b0.tar.gz | |
Forbid annotations when Safe Haskell safe mode is enabled.
For now, this fails compliation immediately with an error. If desired, this
can be a warning that annotations in Safe Haskell are ignored.
Signed-off-by: David Kraeutmann <kane@kane.cx>
Reviewed By: goldfire, austin
Differential Revision: https://phabricator.haskell.org/D1226
GHC Trac Issues: #10826
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/7.12.1-notes.xml | 9 | ||||
| -rw-r--r-- | docs/users_guide/safe_haskell.xml | 6 |
2 files changed, 15 insertions, 0 deletions
diff --git a/docs/users_guide/7.12.1-notes.xml b/docs/users_guide/7.12.1-notes.xml index 5a6670df75..bc5c7afe8f 100644 --- a/docs/users_guide/7.12.1-notes.xml +++ b/docs/users_guide/7.12.1-notes.xml @@ -100,6 +100,15 @@ See <xref linkend="injective-ty-fams"/> for details. </para> </listitem> + + <listitem> + <para> + Due to a <ulink href="https://ghc.haskell.org/trac/ghc/ticket/10826"> + security issue + </ulink>, Safe Haskell now forbids annotations in programs marked as + <literal>-XSafe</literal> + </para> + </listitem> </itemizedlist> </sect3> diff --git a/docs/users_guide/safe_haskell.xml b/docs/users_guide/safe_haskell.xml index 814f5c9f20..f9bcf549bc 100644 --- a/docs/users_guide/safe_haskell.xml +++ b/docs/users_guide/safe_haskell.xml @@ -946,6 +946,12 @@ Wiki</ulink>. </para> + <para> + Additionally, the use of <link linkend="annotations">annotations</link> + is forbidden, as that would allow bypassing Safe Haskell restrictions. + See <ulink url="https://ghc.haskell.org/trac/ghc/ticket/10826">ticket #10826</ulink>. + </para> + </sect2> </sect1> |