X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=f13d34ca2045b1310238f450359069f640a2711a;hp=7de1ae8e86a3d822bf980af182eacfcf50fe0239;hb=cae75f82226638691cfa1e85fc168f4b65ddce4d;hpb=bfd0c33d39619b580520e2d6e43d306380393ea6
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 7de1ae8..f13d34c 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -881,10 +881,10 @@
-
+
Enable record puns.
dynamic
-
+
@@ -1005,10 +1005,17 @@
-
- warn about uses of functions & types that are deprecated
+
+ warn about uses of functions & types that have warnings or deprecated pragmas
dynamic
-
+
+
+
+
+
+ warn about uses of commandline flags that are deprecated
+ dynamic
+
@@ -2214,6 +2221,12 @@
-
+
+ Suppress unsolicited debugging output
+ static
+ -
+
+
Turn on debug printing (more verbose)
static