X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=docs%2Fusers_guide%2Fflags.xml;h=166ff113d08cc784cc0c52b07384b0700543aaef;hb=1fe5459fe14758dbbc6106f616446f43e21a0511;hp=cb993afc8d4f5dd2525bcd116f8cc73ae44aa808;hpb=d39d36f836daa3fecd747ebabde09ac895a9553e;p=ghc-hetmet.git
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index cb993af..166ff11 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
@@ -1246,6 +1258,14 @@
+
+ Set the number of phases for the simplifier (default 2).
+ Ignored with .
+ dynamic
+ -
+
+
+
Set the max iterations for the simplifier
dynamic