X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=8da67f887cca4fb3ec934675bd7b91ea0b5789d5;hb=411bc33cb8e5116bea01fb6391cbb692aa75aa01;hp=47b51a8298a7c8ecd61256d5fbc6ca4bd93e03e9;hpb=31478ab93794cd2e0e2a389d76caf43a65c8c3aa;p=ghc-hetmet.git
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 47b51a8..8da67f8 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -881,10 +881,10 @@
-
+
Enable record puns.
dynamic
-
+
@@ -1012,6 +1012,13 @@
+
+ warn about uses of commandline flags that are deprecated
+ dynamic
+
+
+
+
warn when an entity is exported multiple times
dynamic
@@ -1208,6 +1215,13 @@
+
+ Share specialisations of overloaded functions (default)
+ dynamic
+
+
+
+
Enable eta-reduction. Implied by .
dynamic
@@ -2207,6 +2221,12 @@
-
+
+ Suppress unsolicited debugging output
+ static
+ -
+
+
Turn on debug printing (more verbose)
static
@@ -2304,12 +2324,6 @@
-
-
- Don't share specialisations of overloaded functions
- static
- -
-
-
Set simplification history size
static