[project @ 2003-07-21 11:06:22 by simonpj]

[ghc-hetmet.git] / ghc / docs / users_guide / flags.sgml

diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index 8a1f164..0afa9df 100644 (file)
--- a/ghc/docs/users_guide/flags.sgml
+++ b/ghc/docs/users_guide/flags.sgml
@@ -457,6 +457,12 @@
              <entry><option>-fno-ffi</option></entry>
            </row>
            <row>
+             <entry><option>-farrows</option></entry>
+             <entry>Enable arrow notation extension</entry>
+             <entry>dynamic</entry>
+             <entry><option>-fno-arrows</option></entry>
+           </row>
+           <row>
              <entry><option>-fwith</option></entry>
              <entry>Enable deprecated <literal>with</literal> keyword</entry>
              <entry>dynamic</entry>
@@ -728,10 +734,11 @@
            </row>
 
            <row>
-             <entry><option>-ffoldr-build-on</option></entry>
-             <entry>Enable foldr-build optimisation</entry>
+             <entry><option>-frules-off</option></entry>
+             <entry>Switch off all rewrite rules (including rules
+             generated by automatic specialisation of overloaded functions)</entry>
              <entry>static</entry>
-             <entry><option>-fno-foldr-build-on</option></entry>
+             <entry><option>-frules-off</option></entry>
            </row>
 
            <row>