From: simonmar <unknown>
Date: Thu, 15 Mar 2001 16:17:06 +0000 (+0000)
Subject: [project @ 2001-03-15 16:17:06 by simonmar]
X-Git-Tag: Approximately_9120_patches~2393
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=b38370ca6782f66042101dfff71a64ec810f0634;p=ghc-hetmet.git

[project @ 2001-03-15 16:17:06 by simonmar]
document -fignore-asserts
---

diff --git a/ghc/docs/users_guide/using.sgml b/ghc/docs/users_guide/using.sgml
index a5a691b..14cd3ab 100644
--- a/ghc/docs/users_guide/using.sgml
+++ b/ghc/docs/users_guide/using.sgml
@@ -1196,6 +1196,20 @@ f "2"    = 2
 	</varlistentry>
 
 	<varlistentry>
+	  <term><option>-fignore-asserts</option>:</term>
+	  <listitem>
+	    <indexterm><primary><option>-fignore-asserts</option></primary></indexterm>
+	    <para>Causes GHC to ignore uses of the function
+	    <literal>Exception.assert</literal> in source code (in
+	    other words, rewriting <literal>Exception.assert p
+	    e</literal> to <literal>e</literal> (see <xref
+	    linkend="sec-assertions">).  This flag is turned on by
+	    <option>-O</option>.
+	    </para>
+	  </listitem>
+	</varlistentry>
+
+	<varlistentry>
 	  <term><option>-fno-strictness</option></term>
 	  <indexterm><primary><option>-fno-strictness</option></primary>
 	  </indexterm>
@@ -1305,9 +1319,10 @@ data S = S !Int !Int
             at a call site. A bigger function would be assigned a
             bigger cost.) </para>
 
-	    <para> Consequences: (a) nothing larger than
-	    this will be inlined (unless it has an INLINE pragma); (b) nothing larger
-	    than this will be spewed into an interface file. </para>
+	    <para> Consequences: (a) nothing larger than this will be
+	    inlined (unless it has an INLINE pragma); (b) nothing
+	    larger than this will be spewed into an interface
+	    file. </para>
 
 
             <para> Increasing this figure is more likely to result in longer