X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=1db7c461f76d86b7529072eb5d920b05ff139e0b;hp=e78762600da4776aed801dc9b32b6f1c5aacf5ee;hb=6a05ec5ef5373f61b7f9f5bdc344483417fa801b;hpb=390b7c4110bc0fc9b76d6342f288d44d58fc27b9
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index e787626..1db7c46 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
@@ -1433,7 +1439,7 @@
- Directory to deposit .mix files during compilation
+ Directory to deposit .mix files during compilation (default is .hpc)
dynamic
@@ -2222,12 +2228,6 @@
dynamic
-
-
-
- Enable unregisterised compilation
- static
- -
-