X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=beb082ece8c154f1a953d9312fb72ced6f10f201;hb=5263c9ab4408e3b62dbf7505ab40a81946d4e49b;hp=d706f11083bdd356269e5168fc32a81169f449b5;hpb=c9bcc18e7aaa51677f7e2aa1efb2f80c6e2dff8d;p=ghc-hetmet.git
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index d706f11..beb082e 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -764,6 +764,12 @@
+
+ Enable view patterns.
+ dynamic
+
+
+
Enable unicode syntax.
dynamic
@@ -789,7 +795,7 @@
- Enable kind signatures.
+ Enable kind signatures.
dynamic
@@ -818,10 +824,10 @@
-
- Enable partially applied type synonyms.
+
+ Enable liberalised type synonyms.
dynamic
-
+
@@ -1433,7 +1439,7 @@
- Directory to deposit .mix files during compilation
+ Directory to deposit .mix files during compilation (default is .hpc)
dynamic
@@ -2026,7 +2032,7 @@
- Dump after intrumentation for program coverage
+ Dump after instrumentation for program coverage
dynamic
-
@@ -2092,7 +2098,7 @@
- Dump TH splided expressions, and what they evaluate to
+ Dump TH spliced expressions, and what they evaluate to
dynamic
-
@@ -2222,12 +2228,6 @@
dynamic
-
-
-
- Enable unregisterised compilation
- static
- -
-