From 8bf9fcc6529cac5fd4699909757b8e094118e5e4 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Fri, 5 Jun 2009 12:23:48 +0000
Subject: [PATCH] Document -fwarn-lazy-unlifted-bindings

---
 docs/users_guide/using.xml |   17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml
index 65ca0ac..478a6bc 100644
--- a/docs/users_guide/using.xml
+++ b/docs/users_guide/using.xml
@@ -844,7 +844,8 @@ ghc -c Foo.hs</screen>
     <option>-fwarn-deprecated-flags</option>,
     <option>-fwarn-duplicate-exports</option>,
     <option>-fwarn-missing-fields</option>,
-    <option>-fwarn-missing-methods</option>, and
+    <option>-fwarn-missing-methods</option>,
+    <option>-fwarn-lazy-unlifted-bindings</option>, and
     <option>-fwarn-dodgy-foreign-imports</option>.  The following
     flags are
     simple ways to select standard &ldquo;packages&rdquo; of warnings:
@@ -1000,6 +1001,20 @@ foreign import "&amp;f" f :: FunPtr t
       </varlistentry>
 
       <varlistentry>
+	<term><option>-fwarn-lazy-unlifted-bindings</option>:</term>
+	<listitem>
+	  <indexterm><primary><option>-fwarn-lazy-unlifted-bindings</option></primary>
+	  </indexterm>
+	  <para>Causes a warning to be emitted when an unlifted type
+      is bound in a way that looks lazy, e.g.
+      <literal>where (I# x) = ...</literal>. Use
+      <literal>where !(I# x) = ...</literal> instead. This will be an
+      error, rather than a warning, in GHC 6.14.
+      </para>
+	</listitem>
+      </varlistentry>
+
+      <varlistentry>
 	<term><option>-fwarn-duplicate-exports</option>:</term>
 	<listitem>
 	  <indexterm><primary><option>-fwarn-duplicate-exports</option></primary></indexterm>
-- 
1.7.10.4