X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fusing.xml;h=7ef2f2f99409d11386795e6fd33516696f994e21;hb=0a435635320c2fb075694b52ddbce5bb792110f5;hp=45f64383323f5684f172287637ebe98a81d4880c;hpb=f63ef1a7f3fa3fff1769b2db397437025f3f5586;p=ghc-hetmet.git

diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml
index 45f6438..7ef2f2f 100644
--- a/docs/users_guide/using.xml
+++ b/docs/users_guide/using.xml
@@ -268,6 +268,22 @@ module X where
       </varlistentry>
       
       <varlistentry>
+	<term><filename>.ll</filename></term>
+	<listitem>
+	  <para>An llvm-intermediate-language source file, usually
+          produced by the compiler.</para>
+	</listitem>
+      </varlistentry>
+
+      <varlistentry>
+	<term><filename>.bc</filename></term>
+	<listitem>
+	  <para>An llvm-intermediate-language bitcode file, usually
+          produced by the compiler.</para>
+	</listitem>
+      </varlistentry>
+
+      <varlistentry>
 	<term><filename>.s</filename></term>
 	<listitem>
 	  <para>An assembly-language source file, usually produced by
@@ -973,7 +989,6 @@ ghc -c Foo.hs</screen>
 	  suspicious code.  The warnings that are
 	  <emphasis>not</emphasis> enabled by <option>-Wall</option>
 	  are
-            <option>-fwarn-simple-patterns</option>,
             <option>-fwarn-tabs</option>,
             <option>-fwarn-incomplete-record-updates</option>,
             <option>-fwarn-monomorphism-restriction</option>,
@@ -1360,28 +1375,6 @@ f "2"    = 2
       </varlistentry>
 
       <varlistentry>
-	<term><option>-fwarn-simple-patterns</option>:</term>
-	<listitem>
-	  <indexterm><primary><option>-fwarn-simple-patterns</option></primary>
-	  </indexterm>
-	  <para>Causes the compiler to warn about lambda-bound
-	  patterns that can fail, eg. <literal>\(x:xs)->...</literal>.
-	  Normally, these aren't treated as incomplete patterns by
-	  <option>-fwarn-incomplete-patterns</option>.</para>
-	  <para>&ldquo;Lambda-bound patterns&rdquo; includes all places where there is a single pattern,
-	    including list comprehensions and do-notation.  In these cases, a pattern-match 
-	    failure is quite legitimate, and triggers filtering (list comprehensions) or
-	    the monad <literal>fail</literal> operation (monads). For example:
-	    <programlisting>
-	      f :: [Maybe a] -> [a]
-	      f xs = [y | Just y &lt;- xs]
-	      </programlisting>
-	    Switching on <option>-fwarn-simple-patterns</option> will elicit warnings about
-	    these probably-innocent cases, which is why the flag is off by default. </para>
-	</listitem>
-      </varlistentry>
-
-      <varlistentry>
 	<term><option>-fwarn-tabs</option>:</term>
 	<listitem>
 	  <indexterm><primary><option>-fwarn-tabs</option></primary></indexterm>