X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=6694adf929b3988b4bfc9aad8203b3191789ca24;hb=5e04ae341a945ef430e9d941b34722b8de1f6aae;hp=1da736b5ed34c9ae498b50e489e817e2b1b18b3b;hpb=91087bcf03ac6428dad88729716114e622d50103;p=ghc-hetmet.git
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 1da736b..6694adf 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
@@ -827,6 +833,12 @@
+
+ Enable transform list comprehensions.
+ dynamic
+
+
+
Enable unlifted FFI types.
dynamic
@@ -1341,13 +1353,6 @@
-
- Tweak unfolding settings
- static
-
-
-
-
Tweak unfolding settings
static