diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/flags.xml | 3 | ||||
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 299b4d527b..f5f51b0d4e 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -1069,7 +1069,8 @@ </row> <row> <entry><option>-XAutoDeriveTypeable</option></entry> - <entry>Automatically <link linkend="auto-derive-typeable">derive Typeable instances for every datatype and type class declaration</link>.</entry> + <entry>Automatically <link linkend="auto-derive-typeable">derive Typeable instances for every datatype and type class declaration</link>. + Implies <option>-XDeriveDataTypeable</option>.</entry> <entry>dynamic</entry> <entry><option>-XNoAutoDeriveTypeable</option></entry> </row> diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 03682bf848..16d180aaba 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -3434,7 +3434,8 @@ can be mentioned in the <literal>deriving</literal> clause. <para> The flag <option>-XAutoDeriveTypeable</option> triggers the generation of derived <literal>Typeable</literal> instances for every datatype and type -class declaration in the module it is used. +class declaration in the module it is used. This flag implies +<option>-XDeriveDataTypeable</option> (<xref linkend="deriving-typeable"/>). </para> </sect2> |