X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2Fflags.sgml;h=b9464a6836bce9e75fc4a131e2ad88c878ca9ed3;hb=522f819c8ad0c16f799f4199b4eee9d1d97902c6;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..b9464a6 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,10 @@
-
- Enable foldr-build optimisation
+
+ Switch off all rewrite rules
static
-
+