From: simonpj@microsoft.com <unknown>
Date: Sun, 22 Apr 2007 21:14:42 +0000 (+0000)
Subject: Put the default value for -dppr-user-length in the manual
X-Git-Tag: 2007-05-06~133
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=1c9f77c48fa0cb4f72e71634653b6325c33547c0

Put the default value for -dppr-user-length in the manual

	MERGE TO STABLE

Incidentally, this flag should probably be renamed -dppr-user-depth
---

diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index 2a88767..8a4129b 100644
--- a/docs/users_guide/debugging.xml
+++ b/docs/users_guide/debugging.xml
@@ -429,7 +429,7 @@
 	  <para>In error messages, expressions are printed to a
 	  certain &ldquo;depth&rdquo;, with subexpressions beyond the
 	  depth replaced by ellipses.  This flag sets the
-	  depth.</para>
+	  depth.  Its default value is 5.</para>
 	</listitem>
       </varlistentry>