New syntax for GADT-style record declarations, and associated refactoring

[ghc-hetmet.git] / docs / users_guide / flags.xml

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 05794df..978ddf7 100644 (file)
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -607,7 +607,9 @@
     <sect2>
       <title>Language options</title>
 
-      <para><xref linkend="options-language"/></para>
+      <para>Language options can be enabled either by a command-line option 
+      <option>-Xblah</option>, or by a <literal>{-# LANGUAGE blah #-}</literal>
+      pragma in the file itself.  See <xref linkend="options-language"/></para>
 
       <informaltable>
        <tgroup cols="4" align="left" colsep="1" rowsep="1">
@@ -787,7 +789,7 @@
            </row>
            <row>
              <entry><option>-XUnicodeSyntax</option></entry>
-             <entry>Enable unicode syntax.</entry>
+             <entry>Enable <link linkend="unicode-syntax">unicode syntax</link>.</entry>
              <entry>dynamic</entry>
              <entry><option>-XNoUnicodeSyntax</option></entry>
            </row>
@@ -854,7 +856,7 @@
            </row>
            <row>
              <entry><option>-XTransformListComp</option></entry>
-             <entry>Enable <link linkend="generalised-list-comprehensions">transform list comprehensions</link>.</entry>
+             <entry>Enable <link linkend="generalised-list-comprehensions">generalised list comprehensions</link>.</entry>
              <entry>dynamic</entry>
              <entry><option>-XNoTransformListComp</option></entry>
            </row>
@@ -932,7 +934,7 @@
            </row>
            <row>
              <entry><option>-XTypeSynonymInstances</option></entry>
-             <entry>Enable <link linkend="type-synonym-instances">type synonyms</link>.</entry>
+             <entry>Enable <link linkend="flexible-instance-head">type synonyms in instance heads</link>.</entry>
              <entry>dynamic</entry>
              <entry><option>-XNoTypeSynonymInstances</option></entry>
            </row>
@@ -1025,6 +1027,13 @@
          </row>
 
          <row>
+           <entry><option>-fwarn-unrecognised-pragmas</option></entry>
+           <entry>warn about uses of pragmas that GHC doesn't recognise</entry>
+           <entry>dynamic</entry>
+           <entry><option>-fno-warn-unrecognised-pragmas</option></entry>
+         </row>
+
+         <row>
            <entry><option>-fwarn-warnings-deprecations</option></entry>
            <entry>warn about uses of functions &amp; types that have warnings or deprecated pragmas</entry>
            <entry>dynamic</entry>