summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorsimonpj@microsoft.com <unknown>2007-04-22 21:14:42 +0000
committersimonpj@microsoft.com <unknown>2007-04-22 21:14:42 +0000
commit1c9f77c48fa0cb4f72e71634653b6325c33547c0 (patch)
tree38ca39be95f5a097f4b0234729e30cbfae29b39b /docs
parentd38a30cb5e7a946f7a5e02fb6e601d2d37ea4374 (diff)
downloadhaskell-1c9f77c48fa0cb4f72e71634653b6325c33547c0.tar.gz
Put the default value for -dppr-user-length in the manual
MERGE TO STABLE Incidentally, this flag should probably be renamed -dppr-user-depth
Diffstat (limited to 'docs')
-rw-r--r--docs/users_guide/debugging.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index 2a8876718a..8a4129bf61 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>