X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=39b69915231a650227ee64a6cc57a6b11dec154b;hb=13359d474c482d4641cc0f54d81cb0423fd6ab75;hp=b417f7e52d208b20718dee9a6d9dcc221bfed90e;hpb=1a38a09d1077b507a0a4e1ebba8e1b51bd5fede9;p=ghc-hetmet.git
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index b417f7e..39b6991 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -515,6 +515,12 @@
+
+ Enable usage of Show instances in :print
+ dynamic
+
+
+
Turn off printing of binding results in GHCi
dynamic
@@ -783,7 +789,7 @@
- Enable kind signatures.
+ Enable kind signatures.
dynamic
@@ -812,10 +818,10 @@
-
- Enable partially applied type synonyms.
+
+ Enable liberalised type synonyms.
dynamic
-
+
@@ -1427,7 +1433,7 @@
- Directory to deposit .mix files during compilation
+ Directory to deposit .mix files during compilation (default is .hpc)
dynamic
@@ -2216,12 +2222,6 @@
dynamic
-
-
-
- Enable unregisterised compilation
- static
- -
-