print_depth

Hello,

I am quite a happy user of the command line interface of Eclipse, but
one thing has been bothering me for a while.  When debugging, the term
print depth defaults to 5, which is very often too small for me.  I've
tried several things to set it (automatically) to something more useful
but to no avail.  The manual describes this incorrectly, I think.  Or
do I misunderstand something?

Cheers,
Sebastian



ECLiPSe Constraint Logic Programming System [kernel]
Copyright Imperial College London and ICL
Certain libraries copyright Parc Technologies Ltd
GMP library copyright Free Software Foundation
Version 5.4 #29, Sat May 18 00:13 2002

[eclipse 1]: set_flag(print_depth, 1000).			<<  set to 1000

Yes (0.00s cpu)

[eclipse 2]:
	D = error,
	get_stream_info(error, output_options, Op),
	Op2 = [depth(0) | Op],
        set_stream_property(error, output_options, Op2).	<<  doesn't help either
 
Op = [attributes(pretty)]
Op2 = [depth(0), attributes(pretty)]
Yes (0.00s cpu)

[eclipse 3]: trace.
Debugger switched on - creep mode

[eclipse 4]: [user].
 t([0,0,0,0,0,0,0,0,0,0,0,0,0]).
  user       compiled traceable 396 bytes in 0.00 seconds
 
Yes (0.00s cpu)
[eclipse 5]: t(U).
  (1) 1 CALL  t(U)   %> creep
  (1) 1 EXIT  t([0, 0, 0, ...])   %> set print_depth: [5]?	<<  still at 5
  (1) 1 EXIT  t([0, 0, 0, ...])   %> creep
 
U = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Yes (0.00s cpu)