summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMikhail Glushenkov <mikhail.glushenkov@gmail.com>2013-12-17 07:51:02 +0100
committerJoachim Breitner <mail@joachim-breitner.de>2013-12-17 11:56:57 +0100
commitddd1c8209a69b9ed1cdad2a9b47a7e47bbd4bc96 (patch)
treea0c681d7892875cbaaafd8989a5ea702a234fdfa
parent39c55a3653dd1a3f2adfa4a50fe249ffc60c2ffd (diff)
downloadhaskell-ddd1c8209a69b9ed1cdad2a9b47a7e47bbd4bc96.tar.gz
Mention '-fno-ignore-asserts' in documentation.
(Closes: #8617)
-rw-r--r--docs/users_guide/glasgow_exts.xml4
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