X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=docs%2Fusers_guide%2Fflags.xml;h=344230262d6a9cc5cc7b320af684a42324a688b0;hb=493fd9dfc6a7a60a7f5fdc126e2c4b731fbb4c3c;hp=a00a4f1ab845dbc230eaef7a8428d7893529b18e;hpb=67cb409159fa9136dff942b8baaec25909416022;p=ghc-hetmet.git
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index a00a4f1..3442302 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -797,6 +797,12 @@
+
+ Enable impredicative types.
+ dynamic
+
+
+
Enable existential quantification.
dynamic
@@ -1246,6 +1252,14 @@
+
+ Set the number of phases for the simplifier (default 2).
+ Ignored with .
+ dynamic
+ -
+
+
+
Set the max iterations for the simplifier
dynamic
@@ -1347,13 +1361,6 @@
-
- Tweak unfolding settings
- static
-
-
-
-
Tweak unfolding settings
static