Yes, I agree with you: better to bind outside the whole repl loop. I
misspoke when I said "around the printing".
That said, I think it might still be reasonable to put much tighter bounds
on the cotents inside the printing of "#< ... >".
David
On Thursday, July 11, 2013 3:09:07 PM UTC+3, Meike
David,
I wouldn't automatically set any values around the printing. The user
should be free to do what he likes.
But the repl could start out with some sane defaults, which are not
limiting in the usual case, but safe in general. Like 50 for the level and
1000 for the length. Then you are not
