0.8.2.23
A full and final answer[*] to all the people who keep asking
for slightly tangential software to be added to contrib: to
wit, a contrib module to automate the downloading and
installing of packages that are _not_ part of contrib.

* (require 'asdf-install)
* (asdf-install:install 'xlunit)

or
$ sbcl-asdf-install xlunit

See contrib/asdf-install/README for more details and scary
security-related muttering.

Also added a :INITIAL-FUNCTION to SB-EXECUTABLE:MAKE-EXECUTABLE
so that files don't have to be written such that the
application starts as soon as they're loaded

[*] Ha!

0.8.2.22
Timezone/DST fixes for years after 2038.  I hope.  This stuff
is, I can't help feeling, needlessly confusing.

* (multiple-value-list
           (decode-universal-time (encode-universal-time 0 0 12 28 7  2040)))
        (0 0 12 28 7 2040 5 T 0)

* (multiple-value-list
           (decode-universal-time (encode-universal-time 0 0 12 29 2  3040)))
(0 0 12 29 2 3040 5 NIL 0)

Someone decided that READ-LINE ought not to work for binary
streams, so fix up SB-EXECUTABLE not to cheat in this way.

.8.2.21
Fixes for a couple of threading bugs found by Gilbert Baumann

... CONDITION-WAIT should acquire the lock with the correct
    value (i.e. the one it had when it went to sleep), not
    just the default value.
... CONDITION-NOTIFY should get the queue spinlock before
    signalling, making it atomic wrt WAIT-ON-QUEUE

Added rudimentary thread test script that I thought I'd
committed on some previous occasion

0.8.2.20:
Fix to WITH-TIMEOUT (Stig Sandoe sbcl-devel 2003-07-30)
... more than one form now permissible in body.
... don't change the interface (yet); I can't think of a
backward-compatible way.

0.8.2.19:
Slightly-updated version of first cut at FORMAT compile-time
argument checking (CSR sbcl-devel 2003-08-06)
... only argument count for now.

0.8.2.18:
Oops (II): Fix alpha, hppa and mips ports broken by new array types
... simple-array-UNsigned-byte-29, ah yes.

0.8.2.17:
Oops.  Fix x86/thread build (broken by Solaris build fix):
... include sbcl.h before using LISP_FEATURE_SB_THREAD

0.8.2.16:
Two build fixes
... GNU Make is gnumake under Darwin (from Michael Hudson
sbcl-devel 2003-07-30)
... conditionalize ptrace inclusion on SB_THREAD (from Carlos
Ungil sbcl-devel 2003-08-05)

0.8.2.15:
Add all remaining required (*ptui*) specialized arrays:
... (UNSIGNED-BYTE {7,15,29,31});
While we're at it, make the cross-compiling dumper more likely
to complain if we give it weird array types; we assume
(unsigned-byte {8,16,32}) are generally supported by
implementations.
Also make (ARRAY NIL) dumpable in the target compiler.
Tested building from cmucl, openmcl, old and new sbcl on x86 and
ppc.  Will need confirmation from other architectures.

0.8.2.14:
        * DERIVE-TYPE optimizer for AREF does not try to put a type
          assertion on its result;
        * fix type declaration for INTEGER-DECODE-FLOAT;
        * cross-compiler vertions of MAKE-{SINGLE,DOUBLE}-FLOAT now
          work with denormalized numbers;
        ... since this change causes bootstrapping problems under
            previous versions of SBCL, replace a reference to
            LEAST-POSITIVE-DOUBLE-FLOAT with a code, constructing this
            number.

0.8.2.13:
Fix an error in the recent array-type refactoring; type checks
on vectors were incorrectly reported (as "unbound variable
SAETP" rather than a type error).

0.8.2.12:
More PPC/Linux and x86/BSD fixes
... try to get recursive includes right;
... just include target-os.h, which itself includes target-arch-os.h
(thanks to Gerd Moellmann)
... comment out attempt number two at ppc/linux floating point, which
is causing problems on some ppcs (as reported by Eric
Marsden sbcl-devel 2003-08-01 and kmr on #lisp from the
Debian buildds... I wonder why this doesn't happen on
Daniel's iMac)

0.8.2.11:
Oops.  Fix the other half of the FreeBSD issue
... adjust CALL-OUT vop sufficiently that the system doesn't tie
itself in knots when doing calls into C (from dtc via
cmucl circa 1999 :-)

0.8.2.10:
Implement SB-EXT:CODE-DELETION-NOTE, at least partly for
pfdietz' benefit
... I'm too nice, really I am;
... we're going to need COERCE-TO-CONDITION in the
cross-compiler;
... extract (somewhat bogusly) format control and arguments from
the condition in the SIMPLE-CONDITION case, so that warm
init doesn't print every compiler note in long form.

0.8.2.9:
We now build on FreeBSD again...
... by frobbing x86/c-call.lisp so that we can return 64-bit
quantities for UNIX-LSEEK/lseek();
and while we're fixing 64-bitness...
... mmap takes an off_t argument, so grovel for that and use
it, so fixing sb-simple-streams on Darwin and FreeBSD.

0.8.2.8:
MacOS/Darwin merge.  Points to note:
... thanks to Patrik Nordebo, Pierre Mai and Brian Mastenbrook;
... mmap()ed simple-streams appear not to work under darwin;
... floating point traps are currently non-functional on both ppc
platforms;
... on darwin, hitting ^C, then choosing CONTINUE results in a
memory fault;
... there's no lchown under darwin;
... x86/bsd building is also slightly non-functional currently;
... There's a OAOOM problem in src/compiler/ppc/c-call.lisp, and in
src/runtime/ppc-assem.S.

0.8.2.7:
Improvements to build technology inspired by Nikodemus Siivola
(sbcl-devel 2003-07-20):
... centralize GNU Make finding functionality, and use it
everywhere;
... remove bashism from slam.sh.

0.8.2.6:
Make the prototype of the GENERIC-FUNCTION class (and indeed all
other direct instances of GENERIC-FUNCTION) printable;  also use
a newline rather than a semicolon in x86-arch.c in the hope that
it's more acceptable to OpenBSD.

0.8.2.5:
Minor sb-simple-streams frobs...
... (member character), not (member 'character);
... pass END explicitly to DEVICE-WRITE (thanks to David
Lichteblau).

0.8.2.4:
As reported by pfdietz sbcl-devel 2003-07-27, MAKE-SEQUENCE,
MERGE and CONCATENATE weren't inferring their return type
aggressively enough when given VECTOR as the type specifier.

0.8.2.3:
        * Fixed bug reported by Kalle Olavi Niemitalo on Debian CMUCL
          BTS: MAKE-ARRAY ignored :INITIAL-CONTENTS NIL.

0.8.2.2:
Patch from Patrik Nordebo allowing FILE-POSITION/lseek to work
over its entire range of acceptability.

0.8.2.1:
As reported by Edi Weitz on sbcl-help 2003-07-17, WITH-OUTPUT-TO-STRING
should accept an :ELEMENT-TYPE keyword argument:
... make it so;
... make it so for MAKE-STRING-OUTPUT-STREAM too;
(implementation of such while preserving efficiency in our (vector nil)
world is slightly contorted; we accumulate arbitrary
characters, then convert to the requested type when the
stream's string is requested)
... add tests for reasonable behaviour.

0.8.2:
release, tagged as sbcl_0_8_2

0.8.1.53:
        * Export SB-KERNEL::READER-EOF-EROR (bug reported by Nikodemus
          Siivola).

0.8.1.52:
Comment out the meat in ppc/linux os_restore_fp_control, because
although that superficially worsens our floating point handling
on that platform,
...RUN-PROGRAM no longer segfaults with such enthusiasm;
...our floating point handling was quite poor in any case, as
evidenced by (/ 1.0 0.0).

0.8.1.51:
        * Update BUGS.

0.8.1.50
Alpha fixes before 0.8.2
... correct type declaration for FOREIGN-SYMBOL-ADDRESS-AS-INTEGER
        (add N-MACHINE-WORD-BITS to all backends for this purpose)

        ... correct argument order in the depths of DATA-VECTOR-SET-C/
    (DEF-SMALL-DATA-VECTOR-FROBS), so Alpha now passes bit
    array tests

run-tests.sh now prints the filename of the failing test just
before stopping, which should save on the effort required to
misinterpret the backtrace

delete final full stop from  "  cd tests && sh ./run-tests.sh."
        in make.sh so I can triple-click the line to do exactly that

commit patch for BASE-CHAR-COMPARE/C that Christophe sent me
(alpha/char.lisp).  I hope this is what he wanted ...

0.8.1.49:
        * Fix bug 262: LOAD-DEFMETHOD-INTERNAL checks whether GF has
          any methods before calling FIND-METHOD;
        ... late condition slot installers do not overwrite GF lambda
        list.

0.8.1.48:
Frobs to previous patches
... Fix off-by-one error in column number reporting absent any
#\Newlines in READER-ERROR
... change the test for BUFFER-P in fd-stream (and add entry
in BUGS)

0.8.1.48
Significantly rearrange locking code for thread waitqueues, to
eradicate races shown up in McCLIM applications.  It's better
than it was, and I can't trigger the lockup any longer: I
don't claim it's _correct_, just that I can no longer see
anything wrong with it

Tidy up some constants in sb-bsd-sockets

Amend spec in SB-POSIX to deal better with the differences
between a CL namestring and a string-representing-a-filename-
as-known-to-the-OS

0.8.1.47:
A +FASL-FILE-VERSION+ a month reduces bug hunth.

0.8.1.46:
Merge patch from David Lichteblau (sbcl-devel 2003-06-01) for
(signed-byte 8) streams.
... no real insight, so merge it and hope for the best

0.8.1.45:
Merge patch from Nikodemus Siivola for nicer error reporting
on READER-ERRORs
... frob it a bit to reduce the number of erring possibilities

0.8.1.44:
Merge patch from Nikodemus Siivola for FILE-POSITION on
STRING-INPUT-STREAMs
... :START and :END are valid file position designators, so
accept them.

0.8.1.43:
Get SB-MOP:CLASS-PROTOTYPE right in more cases
... new :PROTOTYPE-FORM property in
SB-KERNEL:*BUILT-IN-CLASSES* list;
... use it to generate the prototype in
SB-PCL::*BUILT-IN-CLASSES*;
bonus: since this means we have an instance of almost every
built-in-class by SAVE-LISP-AND-DIE time, we can detect
longstanding bugs in PURIFY
... make complex bit-vectors and simple-array-nils purifyable.

0.8.1.42:
Update to upstream asdf
... now with better restarts and less nonsensical warning texts

0.8.1.41:
        Remove time calls in make.sh :-(

0.8.1.40:
        * Fix optimizer of BIT-NOT;
        * remove explicit type check in PEEK-CHAR.

0.8.1.39:
WARNING: here be low-quality code
... implement more disassembly notes for PPC.
... full of horrible literal constants.  Needs refactoring.

0.8.1.38:
Make it slightly easier on the type inferencer: don't even
threaten to return NIL from a string array reference.
... use ETYPECASE instead of TYPECASE.

0.8.1.37:
        * Cleanup of MACROLET processing;
        ... fix bug 264: interpreted version of SYMBOL-MACROLET did
            not check for a bound SPECIAL declaration.

0.8.1.36:
        * Remove several DECLAIMs for internal functions;
        * DEFSTRUCT: PROCLAIM return type of structure predicate.

0.8.1.35:
Remove leakage from host to target of ARRAY-FOO-LIMIT via the INDEX
type
... don't UNCROSS everything in DEF!TYPE, just the name.
... test for one of the symptoms (thanks to Patrik Nordebo for
providing a manageable test case)

0.8.1.34:
Merge vector_nil_string_branch
... many other incremental fixes, including
* decrease of number of places array properties need to be
  specified;
* rework of build order so that unknown types are never
  specialized;
* primitive types need to know the specifier, not the ctype, so
  make it so;
* fixes to the kernel classoid hierarchy, so more likely to be
  consistent internally.

The good news is that, should it prove necessary, reverting this patch
so that (vector nil) isn't a string is probably not very much work; all
that needs to be changed are the kernel classoid supertypes and the
STRING and SIMPLE-STRING definitions (and unparses).  On the other hand,
I'd be interested in trying to fix any performance problem "the right
way" before reverting this behaviour.

0.8.1.33:
        * Fixed bug 263: coerce logical block affixes to
          SIMPLE-STRING;
        * COMPLEX-= type method: don't reparse totally unknown type
          specifier;
        * !DEF-BOOLEAN-ATTRIBUTES: create an attributes to list
          decoder;
        * FUN-INFO: print attributes;
        * optimizer for ARRAY-HEADER-P: reimplement as DERIVE-TYPE.

0.8.0.78.vector-nil-string.15:
Since I previously made a note that the applicability of the
REPLACE transform was critical for the performance of
string-streams
... move types around sufficiently that the REPLACE transform
becomes applicable again in string-stream machinery.
(not that I observe the dramatic speedup I was hoping for)

0.8.0.78.vector-nil-string.14:
Minor frobs, mostly to put behaviour back to as I found it in
unimportant bits.  I think there's still a small performance
problem, which I'm investigating.

0.8.1.32:
        * Condition slot accessor installer: call
          ENSURE-GENERIC-FUNCTION;
        * fixed type method (VALUES :SIMPLE-=);
        * SB-C::DOMAIN-SUBTYPEP: merged patch by DTC 1999/01/23.

0.8.1.31:
Delete unused %TEST-LOWTAG-AND-HEADERS type-vop function
Minor textual edit to the text at the end of make.sh

0.8.1.30:
fiddled with return code of condition.impure.lisp to keep
run-tests.sh script happy
trivial text/whitespace tweaking

0.8.1.29:
        * DELETE-BLOCK: if the last continuation has a destination,
          delete it. (bug reported by ohler on #lisp 2003-07-10)
        * make condition slot accessors be methods.

0.8.1.28:
        * s/*THE-PCL-PACKAGE*/*PCL-PACKAGE*/ (reported by Istvan
          Marko).

0.8.1.27:
        * Derive types of variables, bound with MV-BIND, even if we
          don't know the number of values, returned by the argument.

0.8.1.26:
        * tests of sb-bsd-sockets: SOCKET-ERROR is not exported.

0.8.1.25:
        * Implement intersection of function types.

0.8.1.24:
        * SB-BSD-SOCKETS: test of local sockets tries both stream and
          datagram kinds;
        * COMPLEX-= type method: if the second type is unknown, try to
          reparse it.

0.8.1.23:
Fix (from rtoy via CMUCL) for a problem initially reported by
Gareth McCaughan cmucl-imp 2003-05-08 regarding x86 atan2
... cater for the fact that both arguments may be in fr0
... distilled test case from rtoy

0.8.1.22: (sort of) commit file forgotten

0.8.1.22:
Since I'm playing with PPC assembler anyway...
... might as well implement the necessary stuff so that
ROTATE-BYTE (and SB-MD5) can perform acceptably
... couple of new instruction macros in the base system,
and use them in the rotate-byte system

0.8.1.21:
Constant base-char compares for PPC
... also fix some problems revealed by OpenMCL: the initarg for
SIMPLE-CONDITIONS is :FORMAT-CONTROL, not :FORMAT-STRING
... also fix something observed way back when by KingNato on #lisp
IRC: in arch_get_bad_addr, change a bogus && to ||

0.8.1.20:
Really inline math (sic) routines
... we need the proclamation to take effect at compile-time, so
change PROCLAIM to DECLAIM
... fix up the two other instances of PROCLAIMs being used where
DECLAIM should have been

0.8.1.19:
Implement constant base-char comparisons for SPARC

0.8.1.18:
        Dump my local bug list.

0.8.1.17:
        * Make sure that recursive call of
          SOURCE-TRANSFORM-UNION-TYPEP gets simpler argument.

0.8.1.16:
compiler WARNING tweaks
other message tweaks

0.8.1.15:
Mostly MIPS goodies, though some infrastructural fixes too
... fix hideous DEFINE-PARTIAL-REFFER constant-case bug;
... also adjust the costs so that the constant reffers and
setters are prioritized;
... also build fix for undefined static symbols (reported by
KMR end June 2003)
... include src/runtime/Config in tools-for-build/Makefile
(and adjust order of events in make-config.sh to
ensure that src/runtime/Config exists by the time
we need to build any of the tools-for-build)

0.8.1.14:
Fix OPTIMIZATIONS #1b on x86, at Gilbert Baumann's request (on
#lisp IRC 2003-07-01)
... new VOPs for base-char comparisons with constant second
argument;
... new transforms for CHAR< and CHAR> to ensure that any constant
argument is second;
... don't fall into the trap of assuming that the world is ASCII;
instead, define SB!XC:CODE-CHAR and SB!XC:CHAR-CODE that
deal with converting STANDARD-CHARs to and from ASCII codes;
... in the interest of the sanity of those with slow machines, refactor
tests/seq.impure.lisp slightly so that it takes somewhat less
time than the cosmological epoch to run

0.8.1.13:
        * Index argument of LAST and [N]BUTLAST may be a bignum (from
          Paul Dietz' test suite).

0.8.1.12:
minor ANSI-compliance fix: CONTROL-ERROR from failed
MUFFLE-WARNING (caught by clocc-ansi-test)
centralized FIND-RESTART-OR-CONTROL-ERROR logic more than
before

Ops. Remove bogus time calls.

0.8.1.11:
        * Index argument of NTH and NTHCDR may be a bignum (bug
          reported by Adam Warner on c.l.l).

0.8.1.10:
        * Make condition-related functions be known (reported by Paul
          Dietz);
        * fix type declaration of CERROR.

0.8.1.9:
Implement slightly DWIMish behaviour for (TYPE (ARRAY FOO ..) ..)
declarations, as discussed on the CLHS "Declaration TYPE" page, and
on sbcl-help circa 2003-05-08 and with Fufie on #lisp around
2003-06-24
... We need the target's UPGRADED-ARRAY-ELEMENT-TYPE, so move
the definition and define it in SB!XC
... use it (carefully) in MAKE-ARRAY optimizers and transforms,
because the declaration behaviour we're implementing
doesn't extend to (MAKE-ARRAY .. :ELEMENT-TYPE 'FOO)
... insert appropriate THEs in HAIRY-DATA-VECTOR-{REF,SET} if the
declared array element type isn't the same as the
declared upgraded element type

0.8.0.78.vector-nil-string.13:
Update other architectures for (vector nil) as string
... just replace simple-string with simple-base-string as the
primitive type.  Untested as yet; will be tested on sparc
post-commit.

0.8.1.8:
There seems to be no reason to use LET () instead of PROGN in
the #+SB-XC-HOST case of !COLD-INIT-FORMS; and the
nontoplevelness caused a problem (*QUEUED-PROCLAIMS*
not declared special before use, because DEFVAR wasn't
at toplevel when wrapped in LET (); then reported as
full warning by xc host) reported by KingNato on #lisp.
broke some long lines noticed when looking at !C-I-F forms
Even though the new !COLD-INIT-FORMS-as-PROGN might suffice to
allow the system to build on MacOS without WARNINGs,
without further change, it seemed easier to understand
if I moved the DEFVAR *Q-P* outside the !C-I-F, leaving
only SETF inside, so I did.

0.8.1.7:
improved GET-MACHINE-VERSION implementation in some #+LINUX
cases (thanks to Lars Brinkhoff)
OAOOish tidying of CL:MACHINE-VERSION

0.8.1.6:
Fix off-by-one error in %CHECK-BOUNDS transform for known array
dimensions

0.8.0.78.vector-nil-string.12:
Use *SAETP* to generate the data for internal error definition
(net win so far: 13)

0.8.1.5:
        * Fix bugs 3cd:
        ... flush DSD-SAFE-P if the new type is more restrictive than
            the original;
        ... make out of line structure slot readers check type for
            unsafe slots.

0.8.0.78.vector-nil-string.11:
Use *SAETP* to generate codes for type-vops
... (net win so far: 11)

0.8.1.4:
        Update documentation for type checking.

0.8.0.78.vector-nil-string.10:
Use *SAETP* in HAIRY-DATA-VECTOR-REF/HAIRY-DATA-VECTOR-SET
... new IMPORTANCE field in SAETPs, detailing how important we
should think arrays of that type are.
(net win so far: 7)

0.8.0.78.vector-nil-string.9:
Indeed, with a little build rearrangement, we don't need a
temporary SB!XC:DEFTYPE FIXNUM, so let's do that instead.
... move some of src/code/type-init.lisp into
src/code/class-init.lisp

0.8.0.78.vector-nil-string.8:
Some more OAOOification from *SAETP*
... add a COMPLEX-TYPECODE field to *SAETP* to allow us to carry
the information that SIMPLE-BIT-VECTOR and
COMPLEX-BIT-VECTOR are both bit vectors.
... use *SAETP* in %VECTOR-WIDETAG-AND-N-BITS,
ARRAY-ELEMENT-TYPE and SHRINK-VECTOR (net win so far: 6)
... we might need a FIXNUM type earlier than CLASS.  I've got
one in, but then I found a refactor that might mean we
don't need it.  The problem is in SPECIALIZE-ARRAY-TYPE,
where obviously we need to have complete knowledge about
all the possible upgraded-array-element-types so that
we can ask whether a given type is SUBTYPEP.  FIXNUM
is defined as a type fairly late, but maybe defining it
before (simple-array (signed-byte 30) (*)) is enough,
when combined with...
Refactor PRIMITIVE-TYPEs
... we only ever use the specifier, not the ctype, of
PRIMITIVE-TYPE-TYPE, so...
... delete the TYPE field and add a SPECIFIER field.
... add AVERrance in SPECIALIZE-ARRAY-TYPE.

0.8.1.3:
        > 13:17:03 <Xhosa> dan`b how does sbcl compile closures?
        Usually good enough :-(

        * Fixed bugcase 258: deny inline-expanding when expansion
          references a deleted or let-converted function.

0.8.0.78.vector-nil-string.7:
The beginnings of the payoff: being sufficiently irritated by
the baroque intertwinings of the different places where array
types have to be specified, here is a beginning of a
rationalization.
... make *SPECIALIZED-ARRAY-ELEMENT-TYPE-PROPERTIES* a master
value, and derive three other compiler-internal lists
from it.  (net win so far: 3)
... but because it's made earlier so that we can use it as a
master value, SPECIFIER-TYPE gives unknown types;
a new file (and corresponding cold-init function)
fixes up unknown types (and for primitive-types too)
... there are still plenty of places left where array logic
isn't derived from *SAETP*; they will be worked on.

0.8.1.2:
        * TEST, TEST-NOT and KEY keys to sequence functions: resolve
          function designator before loop;
        * Small tuning of type declarations.

0.8.1.1:
        * Fix bug 148: clean new blocks after failed inline expanding.

0.8.1:
release, tagged as sbcl_0_8_1

0.8.0.78.vector-nil-string.6:
Cosmetic cleanups
... invert the test in %SXHASH-SIMPLE-SUBSTRING, since that
way it stands a chance of working even when putative
(VECTOR CHARACTER) != (VECTOR BASE-CHAR)
... some reasonable slight changes to RUN-PROGRAM / Unix
environment stuff.

The ALIEN/C-STRING issue looks like it's not a problem; all of the work
there is explicitly done in terms of BASE-STRINGs.  I don't think anyone
is likely to complain at a type error should they attempt to pass an
object of (VECTOR NIL 0) to foreign lands as the null string, and even
if they do I feel unmotivated to care without sufficient inducement. :-)

0.8.0.78.vector-nil-string.5:
Make MAKE-STRING work as expected
... respect ELEMENT-TYPE
... and while we're at it, make the transform not confuse the
compiler when the user's ELEMENT-TYPE isn't a subtype
of character
Also add some tests for some of the gotcha's we've found so
far.

0.8.0.78.vector-nil-string.4:
Fix some brokennesses
... SXHASH now copes with (vector nil)s of non-zero length
... OUTPUT-SYMBOL can now output zero-length (vector nil)s

0.8.0.78.vector-nil-string.3:
Fix most of the performance problem
... transforms for HAIRY-DATA-VECTOR-{REF,SET} on SIMPLE-STRING

Right.  The all-important "compile sbcl" benchmark is now back to about
where it was (57 minutes on my laptop).  There are still correctness
issues to deal with, not least
  (sxhash (make-array 5 :element-type nil))
but this path isn't proving ridiculously expensive.

0.8.0.85:
        * New optimization to do.
        * Fix problem description for the bug 188 (thanks to cliini on
          #lisp).

0.8.0.84:
YA instance of insufficient attention to DESCRIBE detail

0.8.0.83:
        Bug 258 is not a new bug - it is a longly wanted example of
        bug 148, working under recent SBCL. Thanks, Bill!

0.8.0.82:
new bug 258
also added some text to try to clarify bug 257 (and hopefully
got it right)

0.8.0.81:
output to proper stream in DESCRIBE-OBJECT (HASH-TABLE T)

0.8.0.80:
PRINT-UNREADABLE-OBJECT isn't specified to do anything nice
with pprint logical blocks, and it's hard to do
anything nice without surprising the user, and (as
pointed out by Antonio Martinez) it's specifically
not supposed to do some of the whitespace stuff it was
doing. So just ignore any pretty-streamness and do
entirely physical output.
tweaked ENCAPSULATE logic so that BACKTRACE reporting of
TRACEd functions will be slightly less obscure:
1: (.... )
instead of
1: ("varargs entry for #'(LAMBDA (&REST SB!INT:ARG-LIST) ...)"
    ...)
ruthlessly plundered CMU CL CVS and Gerd's emailed
expertise for %NO-PRIMARY-METHOD .ARGS. code