[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*prindepth* and *prinlength* versus *prinarray*



Yes, it appears that printing of arrays respects *prinlevel* and *prinlength*.
This should be made clearer in the manual.  Also, it should be made clear that
strings and bit-vectors are not affected by *prinlength*; that is, they will not
be truncated.  I presume this is the behavior everyone expects?  A case could be
made for truncating bit-vectors (the ... is a bit strange in this case, where
does it go?), but truncating strings would remove too much human-readable
information.  Also, if strings are truncated, symbols probably should be also!