From: simonmar <unknown>
Date: Wed, 5 Oct 2005 13:09:28 +0000 (+0000)
Subject: [project @ 2005-10-05 13:09:28 by simonmar]
X-Git-Tag: Initial_conversion_from_CVS_complete~193
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=fda480927c6604e3c6c2153b6e41dd5e14c41daf;p=ghc-hetmet.git

[project @ 2005-10-05 13:09:28 by simonmar]
Mention that assertions are turned off by -O
---

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