X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=9b1e272d9b257a8543539fce5356b67ae4b6e971;hb=667ef993b225a3a7d1163612f5ded7e5b69b4ad3;hp=cb993afc8d4f5dd2525bcd116f8cc73ae44aa808;hpb=d39d36f836daa3fecd747ebabde09ac895a9553e;p=ghc-hetmet.git
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index cb993af..9b1e272 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -743,6 +743,12 @@
+
+ Enable quasiquotation.
+ dynamic
+
+
+ Enable bang patterns.dynamic
@@ -797,6 +803,12 @@
+
+ Enable impredicative types.
+ dynamic
+
+
+ Enable existential quantification.dynamic
@@ -1196,6 +1208,13 @@
+
+ Share specialisations of overloaded functions (default)
+ dynamic
+
+
+
+ Enable eta-reduction. Implied by .dynamic
@@ -1246,6 +1265,14 @@
+
+ Set the number of phases for the simplifier (default 2).
+ Ignored with .
+ dynamic
+ -
+
+
+ Set the max iterations for the simplifierdynamic
@@ -1305,6 +1332,15 @@
+ =n
+ Set to n (default: 3) the maximum number of
+ specialisations that will be created for any one function
+ by the SpecConstr transformation
+ static
+
+
+
+ Turn on the liberate-case transformation. Implied by .dynamic
@@ -1312,6 +1348,13 @@
+
+ Turn on the static argument transformation. Implied by .
+ dynamic
+ -fno-static-argument-transformation
+
+
+ =nSet the size threshold for the liberate-case transformation to n (default: 200)static
@@ -2171,6 +2214,12 @@
-
+
+ Suppress unsolicited debugging output
+ static
+ -
+
+ Turn on debug printing (more verbose)static
@@ -2268,12 +2317,6 @@
-
-
- Don't share specialisations of overloaded functions
- static
- -
-
- Set simplification history sizestatic