diff options
author | simonpj@microsoft.com <unknown> | 2007-04-22 21:14:42 +0000 |
---|---|---|
committer | simonpj@microsoft.com <unknown> | 2007-04-22 21:14:42 +0000 |
commit | 1c9f77c48fa0cb4f72e71634653b6325c33547c0 (patch) | |
tree | 38ca39be95f5a097f4b0234729e30cbfae29b39b /docs | |
parent | d38a30cb5e7a946f7a5e02fb6e601d2d37ea4374 (diff) | |
download | haskell-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.xml | 2 |
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 “depth”, with subexpressions beyond the depth replaced by ellipses. This flag sets the - depth.</para> + depth. Its default value is 5.</para> </listitem> </varlistentry> |