From 6aada64f9309864b7293e5c797546ab5403f9a8f Mon Sep 17 00:00:00 2001
From: chak <unknown>
Date: Fri, 24 Aug 2001 04:00:33 +0000
Subject: [PATCH] [project @ 2001-08-24 04:00:33 by chak] Added SPJ's new
 -fmax-worker-args to the flag reference

---
 ghc/docs/users_guide/flags.sgml |   10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index 061fc1a..198e287 100644
--- a/ghc/docs/users_guide/flags.sgml
+++ b/ghc/docs/users_guide/flags.sgml
@@ -731,7 +731,7 @@
 
 	    <row>
 	      <entry><option>-fliberate-case-threshold</option></entry>
-	      <entry>Tweak the liberate-case optimisation</entry>
+	      <entry>Tweak the liberate-case optimisation (default: 10)</entry>
 	      <entry>static</entry>
 	      <entry><option>-fno-liberate-case-threshold</option></entry>
 	    </row>
@@ -744,6 +744,14 @@
 	    </row>
 
 	    <row>
+	      <entry><option>-fmax-worker-args</option></entry>
+	      <entry>If a worker has that many arguments, none will be
+	        unpacked anymore (default: 10)</entry>
+	      <entry>static</entry>
+	      <entry>-</entry>
+	    </row>
+
+	    <row>
 	      <entry><option>-fmax-simplifier-iterations</option></entry>
 	      <entry>Set the max iterations for the simplifier</entry>
 	      <entry>static</entry>
-- 
1.7.10.4