0.7.9.6:
Fix bug 185 (top level forms at the REPL)
... implement a LOCALLY method for EVAL-IN-LEXENV
... factor out MACROLET-DEFINITIONIZE-FUN and
SYMBOL-MACROLET-DEFINITIONIZE-FUN from the IR1
translators for same
... implement SYMBOL-MACROLET and MACROLET for EVAL-IN-LEXENV
in terms of said DEFINITIONIZE-FUN macros and LOCALLY
... set compilation policy in make-target-2 to avoid file scope
limitations
... set interaction policy by hard-coding it in
MAKE-NULL-INTERACTIVE-LEXENV
... throw it together and hope it all still works.

0.7.9.5:
        * new bug
        * slam.sh supports CMUCL

0.7.9.4:
In the FORMAT apparatus for the ~< directive, change APPLY to
REDUCE, to fix a theoretical bug due to small
CALL-ARGUMENTS-LIMIT (and to work around an actual bug
in CMUCL's byte compiler)

0.7.9.3:
Make DEFGENERIC reject forbidden declarations

0.7.9.2:
Some PCL fixups (again, thanks to Pierre Mai and Gerd Moellmann)
... make some DEFMETHOD/DEFGENERIC mismatches signal
PROGRAM-ERROR
... delete an apparently no-op "optimization"
... comment from Gerd Moellmann on COMPUTE-EFFECTIVE-METHOD
(arguably this should live in the user manual instead,
when said document gains a section on the MOP)

0.7.9.1:
        * Added #+cmu(ext:quit) to build scripts
        * Fixed SIMPLE-SUBTYPEP type method for FUNCTIONs

0.7.9:
release, tagged as sbcl_0_7_9

0.7.8.56:
        * there is no type SAP
        * new bug: incorrect union of function types

0.7.8.55:
Comment (from Eric Marsden) on the stale symbols script

0.7.8.54:
simpleminded release-might-be-tomorrow fix for non-toplevel
DEFSTRUCT bug (antireported by WHN on cmucl-imp,
pointed out by CSR on #lisp:-)

0.7.8.53:
new BUGS entry
added draft of LIST-LENGTH-OR-DIE (commented out) since I was
at one point thinking of actually addressing CSR's
point about sequence function arg checking

0.7.8.52:
Just a new BUG (and a small NEWS frob)

0.7.8.51:
        Dirty workaround of FLOAT-RADIX not checking its argument
        type.

bugs

0.7.8.50:
        Fixed bugs 211bc (:ALLOW-OTHER-KEYS in local calls)

Simplified bug 214.

0.7.8.49:
        New bug

0.7.8.48:
        * Fixed printing of call frame when argument list is
          unavailable (reported by CSR on sbcl-devel 2002-10-15)
        * :ALLOW-OTHER-KEYS is an allowed keyword name

0.7.8.47:
Fix CONCATENATE like MAKE-SEQUENCE/MERGE/COERCE
... but don't fix MAP, because it looks hard; write a BUG
entry instead

0.7.8.46:
Continue maintenance work on LIST-like type specifiers
... fix COERCE and MERGE analogously to MAKE-SEQUENCE
... note, but don't worry too much yet, about circular list
arguments to COERCE and MERGE

0.7.8.45:
Some more maintenance on MAKE-SEQUENCE, this time on LIST-like
type specifiers, motivated by Paul Dietz' ansi-tests
example of (MERGE 'NULL '(1 3) '(2 4) #'>)
... abstract some more of the errors into helper
macros, in preparation for their use in
MAP/MERGE/CONCATENATE/COERCE;
... make MAKE-SEQUENCE detect (most) wrong uses of CONS/NULL
and friends, and error on too-hairy cases.
... probably still non-compliant (throwing an error) on e.g.
(MAKE-SEQUENCE '(CONS * (CONS * NULL)) 2) :-(

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.