X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=e78762600da4776aed801dc9b32b6f1c5aacf5ee;hb=390b7c4110bc0fc9b76d6342f288d44d58fc27b9;hp=b417f7e52d208b20718dee9a6d9dcc221bfed90e;hpb=1a38a09d1077b507a0a4e1ebba8e1b51bd5fede9;p=ghc-hetmet.git

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index b417f7e..e787626 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -515,6 +515,12 @@
 	      <entry><option>-fno-break-on-error</option></entry>
 	    </row>
 	    <row>
+	      <entry><option>-fprint-evld-with-show</option></entry>
+	      <entry><link linkend="breakpoints">Enable usage of Show instances in <literal>:print</literal></link></entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-fno-print-evld-with-show</option></entry>
+	    </row>	    
+	    <row>
 	      <entry><option>-fno-print-bind-result</option></entry>
 	      <entry><link linkend="ghci-stmts">Turn off printing of binding results in GHCi</link></entry>
 	      <entry>dynamic</entry>
@@ -783,7 +789,7 @@
 	    </row>
 	    <row>
 	      <entry><option>-XKindSignatures</option></entry>
-	      <entry>Enable kind signatures.</entry>
+	      <entry>Enable <link linkend="kinding">kind signatures</link>.</entry>
 	      <entry>dynamic</entry>
 	      <entry><option>-XNoKindSignatures</option></entry>
 	    </row>
@@ -812,10 +818,10 @@
 	      <entry><option>-XNoUnliftedFFITypes</option></entry>
 	    </row>
 	    <row>
-	      <entry><option>-XPartiallyAppliedClosedTypeSynonyms</option></entry>
-	      <entry>Enable partially applied type synonyms.</entry>
+	      <entry><option>-XLiberalTypeSynonyms</option></entry>
+	      <entry>Enable <link linkend="type-synonyms">liberalised type synonyms</link>.</entry>
 	      <entry>dynamic</entry>
-	      <entry><option>-XNoPartiallyAppliedClosedTypeSynonyms</option></entry>
+	      <entry><option>-XNoLiberalTypeSynonyms</option></entry>
 	    </row>
 	    <row>
 	      <entry><option>-XNoRank2Types</option></entry>