a couple more symbols need package names

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

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index e288da2..6d6ef86 100644 (file)
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -569,10 +569,10 @@
              <entry><option>-fno-arrows</option></entry>
            </row>
            <row>
-             <entry><option>-fcontext-stack</option><replaceable>n</replaceable></entry>
+             <entry><option>-fcontext-stack=N</option><replaceable>n</replaceable></entry>
              <entry>set the limit for context reduction</entry>
-             <entry>static</entry>
-             <entry><option>-</option></entry>
+             <entry>dynamic</entry>
+             <entry><option>20</option></entry>
            </row>
            <row>
              <entry><option>-ffi</option> or <option>-fffi</option></entry>
@@ -628,7 +628,7 @@
            <row>
              <entry><option>-fth</option></entry>
              <entry>Enable Template Haskell. 
-               Implied by <option>-fglasgow-exts</option>.</entry>
+               No longer implied by <option>-fglasgow-exts</option>.</entry>
              <entry>dynamic</entry>
              <entry><option>-fno-th</option></entry>
            </row>