5 Jan
2009
5 Jan
'09
12:14 p.m.
"Tobias C. Rittweiler" writes:
Ok, the problem is that 22.1.3.6 does not specify that printing of bit vectors involves *PRINT-LENGTH*. The same is true for strings (22.1.3.4.) We could, however, use custom pprint dispatch table entries to do the necessary truncating for us.
I committed this.
-T.