X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fusing.xml;h=21e5205022150da4510fe55f7e1cebd245941906;hb=9d03becc597e5b1ab6c8466209a1263bf8ba6f29;hp=c12f76b7c7810b610af8e6c2061d60c5b659d9a7;hpb=da3ab5cd1dfea1415e78404510e3acbff8759413;p=ghc-hetmet.git

diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml
index c12f76b..21e5205 100644
--- a/docs/users_guide/using.xml
+++ b/docs/users_guide/using.xml
@@ -1522,15 +1522,31 @@ f "2"    = 2
 
 	<varlistentry>
 	  <term>
-            <option>-fno-state-hack</option>
-            <indexterm><primary><option>-fno-state-hack</option></primary></indexterm>
+            <option>-fspec-constr</option>
+            <indexterm><primary><option>-fspec-constr</option></primary></indexterm>
           </term>
 	  <listitem>
-	    <para>Turn off the "state hack" whereby any lambda with a
-	      <literal>State#</literal> token as argument is considered to be
-	      single-entry, hence it is considered OK to inline things inside
-	      it.  This can improve performance of IO and ST monad code, but it
-	    runs the risk of reducing sharing.</para> 
+	    <para>Turn on call-pattern specialisation.</para>
+	  </listitem>
+	</varlistentry>
+
+	<varlistentry>
+	  <term>
+            <option>-fliberate-case</option>
+            <indexterm><primary><option>-fliberate-case</option></primary></indexterm>
+          </term>
+	  <listitem>
+	    <para>Turn on the liberate-case transformation.</para>
+	  </listitem>
+	</varlistentry>
+
+	<varlistentry>
+	  <term>
+            <option>-fstatic-argument-transformation</option>
+            <indexterm><primary><option>-fstatic-argument-transformation</option></primary></indexterm>
+          </term>
+	  <listitem>
+	    <para>Turn on the static argument transformation.</para>
 	  </listitem>
 	</varlistentry>