0.7.8.44:
new reports and restart names trying to clarify what those
redefine-DEFSTRUCT CERROR restarts mean (cribbing
somewhat from CMU CL CVS)
While I'm at it, fix the behavior of the ABORT restart in
%REDEFINE-DEFSTRUCT, so that it leaves the system
unaffected as one might reasonably expect. (Before,
ABORTing then retrying an incompatible definition a
second time would allow the incompatible definition to
take place the second time with no error.)
As long as I'm proof-reading restart reports, use similar
FORMAT ~< tricks in some other restarts too.

0.7.8.43:
        Merge Gerd Moellmann's fix for Entomotomy bug
                remove-malfunctions-with-start-end-and-from-end
                (from cmucl-imp 2002-10-12)
... add a skeletal test file, too

0.7.8.42:
        * PUSH, PUSHNEW, POP correctly deal with side effects in a
          symbol macro place
        * Commited patch by Gerd Moellman for the argument evaluation
          order in PUSHNEW

0.7.8.41:
        Proclaimed function type is checked in the XEP.

0.7.8.40:
        Fixed bug: FTYPE should accept any functional type specifier

0.7.8.39:
Fix BUG 209 (wrong argument precedence order for DOCUMENTATION)
as per Gerd Moellman on cmucl-imp 2002-10-13
... see also Entomotomy bug
documentation-generic-function-wrong-argument-precedence-order

0.7.8.38:
Apply Gerd Moellmann's patch for UPDATE-CLASS /
FINALIZE-INHERITANCE problems (as reported on cmucl-imp
by Kevin Rosenberg 2002-10-14)
... and add some more MOP tests
(see Entomotomy bug
finalize-instance-not-being-called-on-class-finalization)

0.7.8.37:
Fix "x86 assembler failure" noted by APD sbcl-devel 2002-10-14
... just port corresponding fix from cmucl (September 1999)

0.7.8.36:
        * :COUNT argument to sequence functions may be negative.
        * DO-SYMBOLS body may contain declarations.
        * Reverted patch by CSR in 0.7.8.28: ARRAY-HAS-FILL-POINTER-P
          is FLUSHABLE again.

0.7.8.35:
fixed a code-safety bug in BOA constructors

0.7.8.34:
        OAOOed floating point number reading FOPs
        ... fixed reading of (COMPLEX DOUBLE-FLOAT) numbers from FASLs

0.7.8.33:
Allow dumping of non-SIMPLE-ARRAY vectors (bug report from cmucl-help
saved at Entomotomy under the name
dumping-of-non-simple-vectors-fails) (thanks to Pierre Mai
for discussion)

0.7.8.32:
Commit implementation (from Gerd Moellmann for cmucl via Pierre Mai)
of GENERIC-FUNCTION-ARGUMENT-PRECEDENCE-ORDER function
(defined by AMOP)
... and note that PCL's DOCUMENTATION GF somehow acquires the wrong
precedence order
(see Entomotomy bugs:
generic-function-argument-precedence-order-missing
documentation-generic-function-wrong-argument-precedence-order)

0.7.8.31:
cleaned up my make-fill-pointer-output-stream-lazy-about-checking-arguments
fix from 0.7.8.24 (in response to CSR's remarks on IRC)
made CROSS-TYPEP deal with error signaled in SATISFIES testing
removed no-op TRANSLATE in SB!XC:TYPE-OF as per FIXME
added more BUGS entries

0.7.8.30:
Port the fix for Entomotomy bug
defmethod-keyword-argument-checking-too-lax
to sbcl from the fix provided by Gerd Moellmann on
cmucl-imp (thanks also to Pierre Mai)

0.7.8.29:
Delete some stale symbols from, and do one or two other fixups
to, package-data-list.lisp-expr
... e.g. long-float symbols conditional on #!+LONG-FLOAT
... also s/#+x86/#!+x86/
Add Eric Marsden's script to contrib/

0.7.8.28:
ARRAY-HAS-FILL-POINTER-P "should signal an error...", so should be
UNSAFELY-FLUSHABLE, not FLUSHABLE

0.7.8.27:
        Removed obsolete OPTIONS slot of SB-C::LEXENV structure.

0.7.8.26:
        Fixed bug 48c: SYMBOL-MACROLET should signal PROGRAM-ERROR if
        the introduced macro has a bound SPECIAL declaration.

0.7.8.25:
Reimplement DEFMACRO-MUNDANELY as (LET () (SB!XC:DEFMACRO ...)).
(still doesn't fix the problem of borken macro lambda
lists as reported by DESCRIBE 'WITH-OPEN-FILE, alas,
but seems nice for OAOOness)
added tonyms bug report: :SB-FLUID not working

0.7.7.24:
READ-VAR-INTEGER and READ-PACKED-BIT-VECTOR are external to
SB!C, so don't need double colons in SB!C: prefixes.
made (FORMAT "foo" "bar") fail earlier, at
FILL-POINTER-OUTPUT-STREAM ctor time, instead of
when the FILL-POINTER-OUTPUT-STREAM is first used for
output
got rid of *TOPLEVEL-LAMBDA-MAX* and
*PENDING-TOPLEVEL-LAMBDAS* (and FORCE-P arg to
SUB-COMPILE-TOPLEVEL-LAMBDAS and
COMPILE-TOPLEVEL-LAMBDAS, and TOPLEVEL-CLOSURE
in COMPILE-TOPLEVEL, and various now-redundant
FORCE-P-only calls to COMPILE-TOPLEVEL-LAMBDAS)

0.7.8.23:
        * Fixed bug 204: (EVAL-WHEN (:COMPILE-TOPLEVEL) ...) inside
          MACROLET.
        * Expanders, introduced by MACROLET, are defined in a
          restricted lexical environment.
        * SB-C:LEXENV-FIND works in any package.

0.7.8.22:
Delete some more unused code from PCL (from Gerd Moellmann via Pierre
Mai; see the entomotomy CLiki under misc-unused-code-in-pcl)
... only two or three of the patches turned out to be applicable

0.7.8.21:
Commit speedier version of UNCROSS for the cross-compiler, as in CSR
sbcl-devel 2002-10-08
... make the hash-table once and only once ;-)

0.7.8.20:
Fix the small-data-vector-ref/c issue for PPC, following the solution
for SPARC
... and make the test a little more exhaustive

0.7.8.19:
Fix bugs 46h and 46i, by ensuring that MAKE-TWO-WAY-STREAM and
MAKE-CONCATENATED-STREAM check the types of their arguments.
... also MAKE-ECHO-STREAM, though it's FLUSHABLE rather than
UNSAFELY-FLUSHABLE
Eliminate two superfluous calls to SPECIFIER-TYPE in numeric type
handling code
... will make no practical difference to execution time; sorry...

0.7.8.18:
        Fix bug 129: insufficient syntax checking in MACROLET.
        New bug: EVAL-WHEN inside MACROLET.

0.7.8.17:
        s/sb-vm/sb!vm/ in the last commit as noted by CSR. Sorry!

0.7.8.16:
        DEFMACRO is implemented via EVAL-WHEN
        ... removed IR1 translator of %DEFMACRO
        ... removed %%DEFMACRO; its functionality is moved into
            %DEFMACRO

0.7.8.15:
merged NJF sb-pcl::check-wrapper-validity cleanup (sbcl-devel
2002-10-02)

0.7.8.14:
merged two Gerd Moellman CMUCL/PCL patches, ported by NJF
(both from sbcl-devel 2002-10-01)...
...making STRUCTURE-CLASS unbound-slot logic recognize that
slots are always bound
...replacing the 3-page MACROLET paean to flaky, unSchemely CL
compilers with a LABELS, and deleting unused functions

0.7.8.13:
merged tonyms patch (sbcl-devel 2002-09-29) to support
building under old CMU CL

0.7.8.12:
added build id to .core files to try to discourage .core/sbcl
mismatch adventures

0.7.8.11:
Fix bug in MERGE with specifiers of subtypes of LIST
... thanks to Raymond Toy for noticing the problem

0.7.8.10:
Fix MAP deftransform on non-VECTOR ARRAY-TYPE types
... and also relax the length type checking to only SAFETY 3
Add some more sequence tests (related to SIMPLE-ARRAY type
specifier)

0.7.8.9:
        primitive type of a subtype of FUNCTION is FUNCTION
        (TYPEP ... 'NIL) is optimized to NIL

0.7.8.8:
Reintroduce patch to fix handling of type arguments to
MAP/MERGE/... as per CSR sbcl-devel 2002-10-02
... changes from 0.7.7.33 version:
* smarter MAKE-SEQUENCE-LIKE implementation
* reintroduction of (COERCE <foo> 'SIMPLE-VECTOR)
  transform
* one or two more deleted symbols from
  package-data-list.lisp-expr
Performance problems are gone, I think.

0.7.8.7:
        Fixed bug 202: compiler failure on a function definition,
incompatible with the declared type.

0.7.8.6:
made the debugger no longer rebind *PRINT-PRETTY*, since it
made it unnecessarily difficult to debug problems
involving PRINT-OBJECT bugs, and was just too DWIMish
As long as I'm killing DWIMish things in INVOKE-DEBUGGER,
comment out the sigsetmask(0).
As long as as I'm cleaning up pretty-printer-related stuff,
get rid of *PRETTY-PRINTER* too. (Since in ANSI the
pretty printer is not an optional add-on, we shouldn't
need the Spice-Lisp-ish hook to support the addition
of a pretty printer.)

0.7.8.5:
        Removed obsolete bug entries 110 and 153.

0.7.8.4:
merged NJF ports of CMU CL patches...
...fixing bug 142 (%NATURALIZE-C-STRING consing, fixed in CMU
CL by rtoy)
...improving MOP conformance (SLOT-DEFINITION-ALLOCATION
returning :CLASS not the class itself, fixed by
Gerd Moellman cmucl-imp 2002-09-17)

0.7.8.3:
        Disabled flushing of simple type checks in arguments of full
        calls.

0.7.8.2:
        Added type checks for explicit THEs in arguments in full
        calls. Simple type checking is not still performed.

0.7.8.1:
        VALUES-LIST is no longer flushed when its values is not used.

0.7.8:
release, tagged as sbcl_0_7_8

0.7.7.40:
removed 0.7.7.33 changes (by "patch --reverse" on
"cvs diff -D '2002-09-20 16:29 GMT'
-D '2002-09-20 16:49 GMT'") because they're too slow.
(The patches are basically a nice idea and the
performance problems look fixable, but it doesn't look
like a few lines of tweaking will fix them. Since I'd
like to release 0.7.8 in a few days, I don't want a lot
of development in the main tree, and since the patch
still unapplies 100% cleanly, this is an appealing way
to deal with the problem for now.)
(Actually the "cleanly" above doesn't mean that it actually
works, because the then-unused COERCE-TO-SIMPLE-VECTOR
removed in package-data-list.lisp-expr needs to be
restored too. But once C-TO-S-V is restored, it does
work.)

0.7.7.39:
        New bug: "unbound variable SB-C::*LOSSAGE-FUN*".

0.7.7.38:
tweaked core.test.sh to stop using .sbclrc (and so not to blow
up when .sbclrc loads old .fasl files with a fasl file
version different from the version expected by the new
build of SBCL)

0.7.7.37:
incremented FASL-FILE-VERSION

0.7.7.36:
Inspired by Brian Spilsbury, flush unused GENERIC-SEQUENCE,
GENERIC-NUMBER et al. from the class/type system

0.7.7.35:

        New ir1 attribute: UNSAFELY-FLUSHABLE. Functions, which must
        signal errors, are no longer (UNSAFELY-)FLUSHABLE. Those,
        which signal errors in safe mode code, are UNSAFELY-FLUSHABLE.

0.7.7.34:
        Fix BUG 181

0.7.7.33:
Commit MAP/MERGE/CONCATENATE/... patch (CSR sbcl-devel
2002-09-18)
... use the type system in the 5 functions affected
... delete old hackish special-casing of (CAR TYPESPEC)
... one or two changes to early-running code (code that runs
before the type system is initialized needs to evade
the type system calls)
... now we behave ANSIly! (kills bugs 46a/b and 66)

0.7.7.32:
added test case for can't-run-saved-.core bug

0.7.7.31:
Fix BUG 51b (as per CSR sbcl-devel 2002-09-19)
... but with s/READER-INTERNAL-ERROR/READER-IMPOSSIBLE-NUMBER-ERROR
... and a couple more tests.
Delete stale BUGS 131 and 168

0.7.7.30:
Fix analogous (to bug #195) unparse problems to the
REAL -> (OR SINGLE-FLOAT DOUBLE-FLOAT RATIONAL)
for all types defined by ANSI
... except EXTENDED-CHAR and ATOM, which are hard, so write
comments about them instead.

0.7.7.29
        Fix bug 200: (translate-logical-pathname "/") is now #p"/"
        Fix x86 save-lisp-and-die problem (reported by CSR in sbcl-devel
         Message-ID: <20020916083642.GA3374@cam.ac.uk>  - turns out to
         be ugly gencgc/purify interaction

0.7.7.28:
Merge APD "bug 198" patch (sbcl-devel 2002-09-16)
... which also removes an obsolete FUN-INFO slot
Fix bug 195
... write test for atomicity of atomic defined-by-ANSI types
(some of which are currently commented out)

0.7.7.27:
MIN, MAX, +, *, LOGIOR, LOGAND, LOGXOR argument checking
... should now signal an error with bogus arguments
... still weirdness (connected with #194?) wrt tests

0.7.7.26:
merged APD "compile-time type errors v. 2" patch (sbcl-devel
2002-09-14)
various trivial comment systematization

0.7.7.25:
merged tonyms "Function constants" patch (sbcl-devel 2002-09-12)

0.7.7.24:
Fix PROBE-FILE bug on pathnames with VERSION :UNSPECIFIC (reported
2002-09-15 on #lisp IRC)
Type declamation fix for *DISASSEM-INST-SPACE*
... declare the type after the type is defined
Try to tell Python a bit more about COMPLEX vectors
... vector arguments to VECTOR-PUSH, FILL-POINTER et al. must
be COMPLEX
Lotso BUGS; :LITTLE-ENDIAN, :MIPS, :HPPA comments

0.7.7.23:
Merge backend_cleanup_1_branch
... I hope this is right :-)

0.7.7.20-backend-cleanup-1.10:
OAOO treatment for WITH-ADJUSTABLE-VECTOR

0.7.7.20-backend-cleanup-1.9:
Really delete the PPC dead code (was commented out before)
... deletia
Add some boilerplate to various files.

0.7.7.22:
added BACKTRACE-AS-LIST

0.7.7.20-backend-cleanup-1.8:
Commit PPC handling of !DEFINE-TYPE-VOPS
... adjust interface slightly on x86
... new MASK keyword for super-duper scary "save a couple of
instructions" lowtag checking
... deletia
Tested on PPC and x86. Should now work on all architectures!

0.7.7.20-backend-cleanup-1.7:
HPPA update to !DEFINE-TYPE-VOPS
... deletia
This seems to work as well as it did before; i.e., on the system
I have access to, there are cache consistency issues
that are yet unresolved, but cold-init and the beginning
of warm load work fine.

0.7.7.20-backend-cleanup-1.6:
Migrate MIPS and Alpha to the new !DEFINE-TYPE-VOPS scheme
... much deletia
Tested on MIPS; not yet tested on Alpha

0.7.7.21:
merged Antonio Martinez "file-error condition definition"
patch (sbcl-devel 2002-09-10)

0.7.7.20-backend-cleanup-1.5:
Convert SPARC backend to new !DEFINE-TYPE-VOPS system
... define %TEST-FOO functions
... delete old over-general test type generating code
... delete DEF-TYPE-VOPS calls
... move early-type-vops earlier in the build process, so other
backend files can use TEST-TYPE
... update TEST-TYPE calls for new interface
CAVEAT: I haven't (yet) tested this precise version on either
x86 or SPARC. A very similar version has just passed
tests on SPARC/Solaris, however. It is expected that
this version works on both SPARC and x86 platforms

0.7.7.20-backend-cleanup-1.4:
Generalize interface to TEST-TYPE to allow for different
architectural needs
... &REST OTHER-ARGS &KEY &ALLOW-OTHER-KEYS
... pass the OTHER-ARGS through to
architecture-specific %TEST-FIXNUM and friends
(still x86-only)

0.7.7.20-backend-cleanup-1.3:
New !DEFINE-TYPE-VOPS interface, replacing DEF-TYPE-VOPS and
DEF-SIMPLE-TYPE-VOPS
... define an x86 version
... use it in the generic code
(still won't work on non-x86, for obvious reasons)

0.7.7.20-backend-cleanup-1.2:
Delete unused assembly/ppc/foo.lisp file.

0.7.7.20-backend-cleanup-1.1:
I hope this works.
This is the start of a branch aimed to clean up, somewhat, the
backend code. It is not expected that code on this
branch will necessarily build and run on all
architectures. For a start, this checkin will only work
on x86.
Start TYPE-VOPS genericization:
... new src/compiler/{early,late}-type-vops.lisp files,
containing bits of what was formerly in
x86/type-vops.lisp

0.7.7.20:
Fix DATA-VECTOR-REF-C for small-data vectors on the SPARC (Raymond
Toy cmucl-imp 2002-09-06)
Fix bugs 47a-c and 171 (from Gerd Moellmann via cmucl-imp)

0.7.7.19:
corrected BUGS 35 entry as per APD sbcl-devel 2002-08-07
merged APD "more strict type checking" patch (sbcl-devel
2002-08-08), fixing bug 192a ("free type declarations
are promises") and one of the problems lumped into
bug 194 (the case of type checking getting lost
when THE occurs inside MULTIPLE-VALUE-PROG1)

0.7.7.18:
Fix error message from (ATAN 1 #C(0 1)) as per Raymond Toy
(sbcl-devel "confusing error message" 2002-09-04)

0.7.7.17:
        MIPS fixup
        ... Linux appears to put garbage in the sc_cause sigcontext
                slot.  So assume that we never trap in a branch delay
                instruction, and hope for the best.

0.7.7.16:
Fix bug 113
... allow logical hosts to be dumped, as references to the name
of the host
... test for dumping behaviour
Fix bug 174
... when the bad directive character has a name, print it as
part of the error message
Save a massive 20k or so on core size by zapping globaldb
entries for cold-init symbols
Various text file frobs and comments

0.7.7.15:
deleted unused SB-PCL machinery pointed out by Gerd Moellman
on cmucl-imp: GF-MAKE-FUNCTION-FROM-EMF,
CHECK-WRAPPER-VALIDITY1

0.7.7.14:
Nathan Froyd pointed out *another* dumb error in the same
function in seq.lisp, so I fixed that too.
(2 bugs per 10 lines times 150K lines gives what?)

0.7.7.13:
APD pointed out on sbcl-devel 2002-09-04 that NOT was being
called with two arguments in seq.lisp, so fix it.

0.7.7.12:
fixing insufficient-DEFGENERIC-checking problem in my 0.7.7.10
code (pointed out by APD on sbcl-devel)...
...added APD test case to tests/clos.impure.lisp
...added AUXP value to PARSE-LAMBDA-LIST return values
everywhere
...made CHECK-GF-LAMBDA-LIST check AUXP instead of just
checking that AUX list is empty

0.7.7.11:
Work around bug 194 in MIN/MAX type checking by using explicit
UNLESS instead of THE. (This is loosely based on
Matthew Danish's patch from sbcl-devel, which showed
that the explicit type tests in CHECK-TYPE worked where
THE did not. I also tried a few experiments based
on APD's IDENTITY wrapper workaround for bug 194, but
I wasn't immediately successful, and I'm not all that
motivated to debug clever workarounds instead of just
working to fix a real bug.)
more tests of MIN and MAX
tried to clarify slam.sh in response to emu question on IRC

0.7.7.10:
got rid of SB-PCL::PROCESS-LAMBDA-LIST in favor of reusing
PARSE-LAMBDA-LIST
Why is PARSE-LAMBDA-LIST in SB-KERNEL? Move it to SB-INT.
Now that we rely on ordinary PARSE-LAMBDA-LIST to catch some
of the things Alexey's PROCESS-LAMBDA-LIST caught,
it should be a little less credulous about things
like non-symbols being used as var names.
Argh! PARSE-LAMBDA-LIST isn't just used for lambda lists. That
would be too obvious.:-( Instead it's also used for
"lambda-list-like" things, in PARSE-ARGS-TYPES. So...
...Split the no-sanity-checking version of P-L-L into
PARSE-LAMBDA-LIST-LIKE-THING.
...Make PARSE-ARGS-TYPES call P-L-L-L-THING.
...Define PARSE-LAMBDA-LIST in terms of P-L-L-L-THING.
ANSI: MAX and MIN "should signal an error of type TYPE-ERROR
if any NUMBER is not a REAL". lrasinen on #lisp:
"stupid CMUCL". me: "gotta fix this so SBCL can win
ICFP next year". (afterthought: "or this year, if
you check this patched version out of CVS and then
code really fast":-) (extra afterthought: "or maybe
next year after all, since bug 194 seems to keep
the new THEs from solving the problem")

0.7.7.9:
Commit MIPS backend
... one or two modifications to extant code, as per CSR sbcl-devel
2002-08-31
... lots of new files

0.7.7.8:
merged APD bug 122 patch (sbcl-devel 2002-08-30)
Tweak seq.impure.lisp test more or less along the lines of
APD's explanation of the pathname problem. (SUBSEQ is
FLUSHABLE, and validly so. The old test bogusly relied
on it not being flushed and/or the compiler not being
infernally clever about type inference.)

0.7.7.7:
HPPA (CATCH 0 ...) fix
sbcl.nm SPARC/Sunos fix (thanks to Antonio Martinez, sbcl-devel
2002-08-23)
filesys.test.sh symlinks and NFS fix (Eric Marsden sbcl-devel
2002-08-23)

0.7.7.6:
merged Nathan Froyd's "various constants in SB-UNIX" patch
(sbcl-devel 2002-08-27)

0.7.7.5:
Minor HPPA fix
... get the SC-OFFSET right for the HPPA port
Include APD's test case for the (IF TEST <X> <X>) bogus constraint
propagation
Note in BUGS about autodeclaration of slot accessors

0.7.7.4:
ported pmai's version of Gerd Moellman's "Remove
PCL::EXTRACT-DECLARATIONS" patch (gm cmucl-imp
2002-08-24, pmai cvs diff -D '2002-08-26 16:00 UTC'
-D '2002-08-26 16:20 UTC'), to make PCL use the same
PARSE-BODY as the rest of the system, instead of
reimplementing the wheel.
and actually we don't even need PARSE-BODY in DOPLIST as it is
currently used, nor ENV either
and why the heck is PARSE-BODY in SB!SYS? Move it to SB!INT.

0.7.7.3:
deleted warnings about :WRITER in DEFINE-CONDITION, since
antonio martinez pointed out (sbcl-devel 2002-08-22)
that they're bogus
fixed brain-damaged misparenthesization in debug.lisp (pointed
out by CSR on #lisp IRC)

0.7.7.2:
merged APD bug120a patch (sbcl-devel 2002-08-21)
deleted "TODO: convert to AVER" note from original patch,
replaced it with justification from discussion in
cmucl-imp (esp. Alexey's message 2002-08-23)
The function has gotten large enough that I really doubt that
the DECLAIM INLINE helps, so I deleted it.

0.7.7.1:
added arg type checks to out-of-line 1-arg case of #'+ and
#'* (inspired by Gerd Moellman on cmucl-imp)
removed stale "egrep -i '\<cgc\>'" stuff

0.7.7:
release, tagged as sbcl_0_7_7

0.7.6.29:
Fix BUGS 123 and 165, somewhat along the lines of CSR sbcl-devel
2002-08-20 "(VECTOR UNDEFTYPE)", except also catch the
erroneous test in ARRAY-TYPES-INTERSECT.

0.7.6.28:
merged APD "Let-converting recursive lambdas" patch (sbcl-devel
2002-08-19), fixing bugs 65, 70, and 109

0.7.6.27:
Merge (alpha-quality, probably) HPPA/Linux port
... added hppa fixups in genesis.lisp
... moved disassem-state definition from target-disassem.lisp to
disassem.lisp, so building it on the host
... lots of new files (thank you, CMUCL)
Minor boilerplate cleanups in src/runtime/

0.7.6.26:
comment tweaking
fixed bug 192, "constant-folding DATA-VECTOR-REF", by adding an
ordinary DEFUN definition of D-V-R