X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2Fflags.sgml;h=b9464a6836bce9e75fc4a131e2ad88c878ca9ed3;hb=522f819c8ad0c16f799f4199b4eee9d1d97902c6;hp=209d6f7b8f547fdd65f1d6908f1c549488cef9dc;hpb=34a10d6614fa3546b360fc13b5386b1d86848190;p=ghc-hetmet.git
diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index 209d6f7..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
-
+
@@ -1106,6 +1112,12 @@
-
+
+ Omit linking
+ static
+ -
+
+
name
Link in package name
static