diff options
| -rw-r--r-- | docs/users_guide/7.8.1-notes.xml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/docs/users_guide/7.8.1-notes.xml b/docs/users_guide/7.8.1-notes.xml index 46c6fa402c..5d8f077d41 100644 --- a/docs/users_guide/7.8.1-notes.xml +++ b/docs/users_guide/7.8.1-notes.xml @@ -41,6 +41,17 @@ </para> </listitem> + <listitem> + <para> + Use of the <literal>GeneralizedNewtypeDeriving</literal> + extension is now subject to <emphasis>role checking</emphasis>, + to ensure type safety of the derived instances. As this change + increases the type safety of GHC, it is possible that some code + that previously compiled will no longer work. + + TODO FIXME: reference. + </para> + </listitem> <listitem> <para> |