X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=a9c018415b4c7d27e25a67c1f86f8bb7ee317b60;hb=14f9af49db1672e023ac8d8c506b42bc5400a787;hp=c8e5dfc1d631ea5e2b9eea11f189162e602abca6;hpb=7217f562ed08b7ef8a702065d437f7b6366aea88;p=ghc-hetmet.git

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index c8e5dfc..a9c0184 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -763,6 +763,13 @@
 	      <entry><option>-XNoGADTs</option></entry>
 	    </row>
 	    <row>
+	      <entry><option>-XGADTSyntax</option></entry>
+	      <entry>Enable <link linkend="gadt-style">generalised algebraic data type syntax</link>.
+	      </entry>
+	      <entry>dynamic</entry>
+	      <entry><option>-XNoGADTSyntax</option></entry>
+	    </row>
+	    <row>
 	      <entry><option>-XTypeFamilies</option></entry>
 	      <entry>Enable <link linkend="type-families">type families</link>.</entry>
 	      <entry>dynamic</entry>
@@ -990,8 +997,9 @@
 	    </row>
 	    <row>
 	      <entry><option>-XFlexibleInstances</option></entry>
-	      <entry>Enable <link linkend="instance-rules">flexible instances</link>.</entry>
-	      <entry>dynamic</entry>
+              <entry>Enable <link linkend="instance-rules">flexible instances</link>.
+              Implies <option>-XTypeSynonymInstances</option> </entry>
+              <entry>dynamic</entry>
 	      <entry><option>-XNoFlexibleInstances</option></entry>
 	    </row>
 	    <row>