From fda480927c6604e3c6c2153b6e41dd5e14c41daf Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 5 Oct 2005 13:09:28 +0000
Subject: [PATCH] [project @ 2005-10-05 13:09:28 by simonmar] Mention that
 assertions are turned off by -O

---
 ghc/docs/users_guide/glasgow_exts.xml |   11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/ghc/docs/users_guide/glasgow_exts.xml b/ghc/docs/users_guide/glasgow_exts.xml
index e3201ce..8a8b999 100644
--- a/ghc/docs/users_guide/glasgow_exts.xml
+++ b/ghc/docs/users_guide/glasgow_exts.xml
@@ -4369,12 +4369,13 @@ can still define and use your own versions of
 </para>
 
 <para>
-To have the compiler ignore uses of assert, use the compiler option
-<option>-fignore-asserts</option>. <indexterm><primary>-fignore-asserts
-option</primary></indexterm> That is, expressions of the form
+GHC ignores assertions when optimisation is turned on with the
+      <option>-O</option><indexterm><primary><option>-O</option></primary></indexterm> flag.  That is, expressions of the form
 <literal>assert pred e</literal> will be rewritten to
-<literal>e</literal>.
-</para>
+<literal>e</literal>.  You can also disable assertions using the
+      <option>-fignore-asserts</option>
+      option<indexterm><primary><option>-fignore-asserts</option></primary>
+      </indexterm>.</para>
 
 <para>
 Assertion failures can be caught, see the documentation for the
-- 
1.7.10.4