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 8356a28..978ddf7 100644 (file)
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -789,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>
@@ -856,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>
@@ -1027,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>