diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 99a3f21439..e97faf1edb 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -9220,7 +9220,9 @@ GHC ignores assertions when optimisation is turned on with the <literal>e</literal>. You can also disable assertions using the <option>-fignore-asserts</option> option<indexterm><primary><option>-fignore-asserts</option></primary> - </indexterm>.</para> + </indexterm>. The option <option>-fno-ignore-asserts</option> allows +enabling assertions even when optimisation is turned on. +</para> <para> Assertion failures can be caught, see the documentation for the |