X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2Fflags.sgml;h=0afa9dffc3c471e0a7452e6bb3b0960aee5b6400;hb=b8554efd031fc4ff0d9b3950f8320733058358d8;hp=8a1f164229858216d2329dd02e5da559ae4649cb;hpb=f319fdf906aa9fb7996ae33ad244b5e29a077b94;p=ghc-hetmet.git
diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index 8a1f164..0afa9df 100644
--- a/ghc/docs/users_guide/flags.sgml
+++ b/ghc/docs/users_guide/flags.sgml
@@ -457,6 +457,12 @@
+
+ Enable arrow notation extension
+ dynamic
+
+
+
Enable deprecated with keyword
dynamic
@@ -728,10 +734,11 @@
-
- Enable foldr-build optimisation
+
+ Switch off all rewrite rules (including rules
+ generated by automatic specialisation of overloaded functions)
static
-
+