sbcl.git
21 years ago0.7.8.13:
William Harold Newman [Thu, 3 Oct 2002 01:05:29 +0000 (01:05 +0000)]
0.7.8.13:
merged tonyms patch (sbcl-devel 2002-09-29) to support
building under old CMU CL

21 years ago0.7.8.12:
William Harold Newman [Wed, 2 Oct 2002 23:22:47 +0000 (23:22 +0000)]
0.7.8.12:
added build id to .core files to try to discourage .core/sbcl
mismatch adventures

21 years ago0.7.8.11:
Christophe Rhodes [Wed, 2 Oct 2002 18:17:39 +0000 (18:17 +0000)]
0.7.8.11:
Fix bug in MERGE with specifiers of subtypes of LIST
... thanks to Raymond Toy for noticing the problem

21 years ago0.7.8.10:
Christophe Rhodes [Wed, 2 Oct 2002 16:49:42 +0000 (16:49 +0000)]
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)

21 years ago0.7.8.9:
Alexey Dejneka [Wed, 2 Oct 2002 15:24:16 +0000 (15:24 +0000)]
0.7.8.9:
        primitive type of a subtype of FUNCTION is FUNCTION
        (TYPEP ... 'NIL) is optimized to NIL

21 years ago0.7.8.8:
Christophe Rhodes [Wed, 2 Oct 2002 12:09:17 +0000 (12:09 +0000)]
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.

21 years ago0.7.8.7:
Alexey Dejneka [Mon, 30 Sep 2002 03:35:49 +0000 (03:35 +0000)]
0.7.8.7:
        Fixed bug 202: compiler failure on a function definition,
incompatible with the declared type.

21 years ago0.7.8.6:
William Harold Newman [Sun, 29 Sep 2002 18:48:53 +0000 (18:48 +0000)]
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.)

21 years ago0.7.8.5:
Alexey Dejneka [Sun, 29 Sep 2002 07:03:18 +0000 (07:03 +0000)]
0.7.8.5:
        Removed obsolete bug entries 110 and 153.

21 years ago0.7.8.4:
William Harold Newman [Sat, 28 Sep 2002 14:39:43 +0000 (14:39 +0000)]
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)

21 years ago0.7.8.3:
Alexey Dejneka [Sat, 28 Sep 2002 06:50:25 +0000 (06:50 +0000)]
0.7.8.3:
        Disabled flushing of simple type checks in arguments of full
        calls.

21 years ago0.7.8.2:
Alexey Dejneka [Fri, 27 Sep 2002 11:30:57 +0000 (11:30 +0000)]
0.7.8.2:
        Added type checks for explicit THEs in arguments in full
        calls. Simple type checking is not still performed.

21 years ago0.7.8.1:
Alexey Dejneka [Fri, 27 Sep 2002 01:57:13 +0000 (01:57 +0000)]
0.7.8.1:
        VALUES-LIST is no longer flushed when its values is not used.

21 years ago0.7.8:
William Harold Newman [Thu, 26 Sep 2002 15:18:38 +0000 (15:18 +0000)]
0.7.8:
release, tagged as sbcl_0_7_8

21 years ago0.7.7.40:
William Harold Newman [Mon, 23 Sep 2002 16:18:11 +0000 (16:18 +0000)]
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.)

21 years ago0.7.7.39:
Alexey Dejneka [Mon, 23 Sep 2002 03:54:20 +0000 (03:54 +0000)]
0.7.7.39:
        New bug: "unbound variable SB-C::*LOSSAGE-FUN*".

21 years ago0.7.7.38:
William Harold Newman [Sun, 22 Sep 2002 13:01:24 +0000 (13:01 +0000)]
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)

21 years ago0.7.7.37:
William Harold Newman [Sat, 21 Sep 2002 13:32:19 +0000 (13:32 +0000)]
0.7.7.37:
incremented FASL-FILE-VERSION

21 years ago0.7.7.36:
Christophe Rhodes [Sat, 21 Sep 2002 12:03:32 +0000 (12:03 +0000)]
0.7.7.36:
Inspired by Brian Spilsbury, flush unused GENERIC-SEQUENCE,
GENERIC-NUMBER et al. from the class/type system

21 years ago0.7.7.35:
Alexey Dejneka [Sat, 21 Sep 2002 10:24:08 +0000 (10:24 +0000)]
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.

21 years ago0.7.7.34:
Alexey Dejneka [Sat, 21 Sep 2002 05:43:20 +0000 (05:43 +0000)]
0.7.7.34:
        Fix BUG 181

21 years ago0.7.7.33:
Christophe Rhodes [Fri, 20 Sep 2002 16:39:32 +0000 (16:39 +0000)]
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)

21 years ago0.7.7.32:
William Harold Newman [Thu, 19 Sep 2002 17:26:53 +0000 (17:26 +0000)]
0.7.7.32:
added test case for can't-run-saved-.core bug

21 years ago0.7.7.31:
Christophe Rhodes [Thu, 19 Sep 2002 17:19:13 +0000 (17:19 +0000)]
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

21 years ago0.7.7.30:
Christophe Rhodes [Wed, 18 Sep 2002 12:14:20 +0000 (12:14 +0000)]
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.

21 years ago0.7.7.29
Daniel Barlow [Tue, 17 Sep 2002 19:52:29 +0000 (19:52 +0000)]
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

21 years ago0.7.7.28:
Christophe Rhodes [Mon, 16 Sep 2002 15:17:03 +0000 (15:17 +0000)]
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)

21 years ago0.7.7.27:
Christophe Rhodes [Mon, 16 Sep 2002 08:28:41 +0000 (08:28 +0000)]
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

21 years ago0.7.7.26:
William Harold Newman [Sun, 15 Sep 2002 18:18:11 +0000 (18:18 +0000)]
0.7.7.26:
merged APD "compile-time type errors v. 2" patch (sbcl-devel
2002-09-14)
various trivial comment systematization

21 years ago0.7.7.25:
William Harold Newman [Sun, 15 Sep 2002 16:32:18 +0000 (16:32 +0000)]
0.7.7.25:
merged tonyms "Function constants" patch (sbcl-devel 2002-09-12)

21 years ago0.7.7.24:
Christophe Rhodes [Sun, 15 Sep 2002 14:20:22 +0000 (14:20 +0000)]
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

21 years ago0.7.7.23:
Christophe Rhodes [Fri, 13 Sep 2002 16:28:40 +0000 (16:28 +0000)]
0.7.7.23:
Merge backend_cleanup_1_branch
... I hope this is right :-)

21 years ago0.7.7.20-backend-cleanup-1.10:
Christophe Rhodes [Fri, 13 Sep 2002 15:54:35 +0000 (15:54 +0000)]
0.7.7.20-backend-cleanup-1.10:
OAOO treatment for WITH-ADJUSTABLE-VECTOR

21 years ago0.7.7.20-backend-cleanup-1.9:
Christophe Rhodes [Thu, 12 Sep 2002 15:11:33 +0000 (15:11 +0000)]
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.

21 years ago0.7.7.22:
William Harold Newman [Thu, 12 Sep 2002 14:10:01 +0000 (14:10 +0000)]
0.7.7.22:
added BACKTRACE-AS-LIST

21 years ago0.7.7.20-backend-cleanup-1.8:
Christophe Rhodes [Thu, 12 Sep 2002 13:40:29 +0000 (13:40 +0000)]
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!

21 years ago0.7.7.20-backend-cleanup-1.7:
Christophe Rhodes [Wed, 11 Sep 2002 17:01:36 +0000 (17:01 +0000)]
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.

21 years ago0.7.7.20-backend-cleanup-1.6:
Christophe Rhodes [Wed, 11 Sep 2002 11:48:03 +0000 (11:48 +0000)]
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

21 years ago0.7.7.21:
William Harold Newman [Tue, 10 Sep 2002 18:53:40 +0000 (18:53 +0000)]
0.7.7.21:
merged Antonio Martinez "file-error condition definition"
patch (sbcl-devel 2002-09-10)

21 years ago0.7.7.20-backend-cleanup-1.5:
Christophe Rhodes [Tue, 10 Sep 2002 17:15:26 +0000 (17:15 +0000)]
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

21 years ago0.7.7.20-backend-cleanup-1.4:
Christophe Rhodes [Tue, 10 Sep 2002 12:47:39 +0000 (12:47 +0000)]
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)

21 years ago0.7.7.20-backend-cleanup-1.3:
Christophe Rhodes [Mon, 9 Sep 2002 18:09:33 +0000 (18:09 +0000)]
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)

21 years ago0.7.7.20-backend-cleanup-1.2:
Christophe Rhodes [Mon, 9 Sep 2002 16:27:28 +0000 (16:27 +0000)]
0.7.7.20-backend-cleanup-1.2:
Delete unused assembly/ppc/foo.lisp file.

21 years ago0.7.7.20-backend-cleanup-1.1:
Christophe Rhodes [Mon, 9 Sep 2002 16:11:40 +0000 (16:11 +0000)]
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

21 years ago0.7.7.20:
Christophe Rhodes [Mon, 9 Sep 2002 08:45:55 +0000 (08:45 +0000)]
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)

21 years ago0.7.7.19:
William Harold Newman [Mon, 9 Sep 2002 01:09:15 +0000 (01:09 +0000)]
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)

21 years ago0.7.7.18:
Christophe Rhodes [Fri, 6 Sep 2002 12:35:19 +0000 (12:35 +0000)]
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)

21 years ago0.7.7.17:
Christophe Rhodes [Fri, 6 Sep 2002 08:55:25 +0000 (08:55 +0000)]
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.

21 years ago0.7.7.16:
Christophe Rhodes [Thu, 5 Sep 2002 13:15:48 +0000 (13:15 +0000)]
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

21 years ago0.7.7.15:
William Harold Newman [Thu, 5 Sep 2002 11:42:17 +0000 (11:42 +0000)]
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

21 years ago0.7.7.14:
William Harold Newman [Thu, 5 Sep 2002 02:07:21 +0000 (02:07 +0000)]
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?)

21 years ago0.7.7.13:
William Harold Newman [Wed, 4 Sep 2002 13:59:54 +0000 (13:59 +0000)]
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.

21 years ago0.7.7.12:
William Harold Newman [Tue, 3 Sep 2002 02:29:44 +0000 (02:29 +0000)]
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

21 years ago0.7.7.11:
William Harold Newman [Mon, 2 Sep 2002 22:35:17 +0000 (22:35 +0000)]
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

21 years ago0.7.7.10:
William Harold Newman [Mon, 2 Sep 2002 03:18:07 +0000 (03:18 +0000)]
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")

21 years ago0.7.7.9:
Christophe Rhodes [Sun, 1 Sep 2002 22:34:13 +0000 (22:34 +0000)]
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

21 years ago0.7.7.8:
William Harold Newman [Sun, 1 Sep 2002 21:49:02 +0000 (21:49 +0000)]
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.)

21 years ago0.7.7.7:
Christophe Rhodes [Sun, 1 Sep 2002 15:14:04 +0000 (15:14 +0000)]
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)

21 years ago0.7.7.6:
William Harold Newman [Sat, 31 Aug 2002 23:36:57 +0000 (23:36 +0000)]
0.7.7.6:
merged Nathan Froyd's "various constants in SB-UNIX" patch
(sbcl-devel 2002-08-27)

21 years ago0.7.7.5:
Christophe Rhodes [Sat, 31 Aug 2002 09:52:16 +0000 (09:52 +0000)]
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

21 years ago0.7.7.4:
William Harold Newman [Sat, 31 Aug 2002 01:19:50 +0000 (01:19 +0000)]
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.

21 years ago0.7.7.3:
William Harold Newman [Tue, 27 Aug 2002 13:04:52 +0000 (13:04 +0000)]
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)

21 years ago0.7.7.2:
William Harold Newman [Mon, 26 Aug 2002 15:02:15 +0000 (15:02 +0000)]
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.

21 years ago0.7.7.1:
William Harold Newman [Sun, 25 Aug 2002 15:30:31 +0000 (15:30 +0000)]
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

21 years ago0.7.7:
William Harold Newman [Sun, 25 Aug 2002 13:34:10 +0000 (13:34 +0000)]
0.7.7:
release, tagged as sbcl_0_7_7

21 years ago0.7.6.29:
Christophe Rhodes [Wed, 21 Aug 2002 10:30:03 +0000 (10:30 +0000)]
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.

21 years ago0.7.6.28:
William Harold Newman [Tue, 20 Aug 2002 19:17:00 +0000 (19:17 +0000)]
0.7.6.28:
merged APD "Let-converting recursive lambdas" patch (sbcl-devel
2002-08-19), fixing bugs 65, 70, and 109

21 years ago0.7.6.27:
Christophe Rhodes [Mon, 19 Aug 2002 12:13:59 +0000 (12:13 +0000)]
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/

21 years ago0.7.6.26:
William Harold Newman [Sun, 18 Aug 2002 13:55:26 +0000 (13:55 +0000)]
0.7.6.26:
comment tweaking
fixed bug 192, "constant-folding DATA-VECTOR-REF", by adding an
ordinary DEFUN definition of D-V-R

21 years ago0.7.6.25:
William Harold Newman [Thu, 15 Aug 2002 18:39:53 +0000 (18:39 +0000)]
0.7.6.25:
just logging a bug

21 years ago0.7.6.24:
William Harold Newman [Wed, 14 Aug 2002 22:54:09 +0000 (22:54 +0000)]
0.7.6.24:
fixing tonym's GRUFFALO bug (from #lisp)...
...made MAKE-INSTANCE-FUNCTION-SYMBOL use two colons whether
or not the symbol is currently exported, so that
EXPORTing the class name after class definition and
before class use doesn't lose track of the function
...incremented fasl file format to reflect this
(The whole PCL approach of encoding stuff into hairy symbol
names interned in odd places is still broken, as can
easily be demonstrated by renaming packages. But
that's unlikely to be fixed soon, and maybe in the
meantime this easy fix can help a little.)

21 years ago0.7.6.23:
William Harold Newman [Wed, 14 Aug 2002 18:22:57 +0000 (18:22 +0000)]
0.7.6.23:
merged APD patch for bugs 191-b (making gf lambda lists
conform to ANSI 3.4.2) from sbcl-devel
added tests, and fixed old tests whose brokenness is now
detected
(speculated about reusing SB-C:PARSE-LAMBDA-LIST instead of
adding new PROCESS-LAMBDA-LIST, but didn't actually
actually do that, in favor of checking in something
that works and fixes a bug. Maybe next version...)
reverted handling of illegal function name in DEFGENERIC
(from previous commit) since I guess it should be
PROGRAM-ERROR after all

21 years ago0.7.6.22:
Christophe Rhodes [Wed, 14 Aug 2002 13:28:23 +0000 (13:28 +0000)]
0.7.6.22:
No changes; simply adding back the .cvsignore files that I managed
to remove. Sorry. :-/

21 years ago0.7.6.21:
Christophe Rhodes [Wed, 14 Aug 2002 13:25:58 +0000 (13:25 +0000)]
0.7.6.21:
        (I hope this checkin works. I have issued conflicting instructions
                to do with adding and removal of .cvsignore files, and
                it's possible that this has confused things. Only the
                .cvsignore files should be messed up, if anything has
                gone wrong)
        Merge APD patch for BUG 191a (sbcl-devel 2002-08-12)
        ... s/slots-for-this-defclass/slot-names-for-this-defclass/
        Merge patch from Gerd Moelmann regarding the long form of
                DEFINE-METHOD-COMBINATION (cmucl-imp 2002-06-18)
        Remove now-unneccessary .cvsignore files (having added a "master"
                cvsignore file in sbcl's CVSROOT)

21 years ago0.7.6.20:
William Harold Newman [Wed, 14 Aug 2002 13:16:12 +0000 (13:16 +0000)]
0.7.6.20:
(I set out to suppress compiler macro expansion when
(> COMPILATION-SPEED SPEED), but now that I've read
the DEFINE-COMPILER-MACRO specification, I think that'd
probably be illegal. So I guess I won't.)
As far as I can tell from the ANSI spec, it's nonconforming to
return NIL from COMPILER-MACRO-FUNCTION just because of
a NOTINLINE declaration. So make
COMPILER-MACRO-FUNCTION ignore NOTINLINEness.
(I set out to make (DEFINE-COMPILER-MACRO (SETF FOO) ...) work,
but gave up, first because (SETF (FOO X) Y) expands
into (FUNCALL #'(SETF FOO) Y X) and it's not clear
that it's kosher to use compiler macros to transform
FUNCALL, and second because ANSI 3.2.2.1 says any
compiler macro definition can always be ignored.)
made DEFINE-COMPILER-MACRO (SETF FOO) issue a STYLE-WARNING
made COMPILER-MACRO-FUNCTION check for legal function names
factored out LEGAL-FUN-NAME-OR-TYPE-ERROR to support this
tiny ANSI-compliance tweak: made
(SETF (COMPILER-MACRO-FUNCTION FOO NIL) ...) work
various tweaks to *DEBUG-HELP-STRING* (especially to help
people avoid messing with restart numbers, ow!)
s/make-breakpoint-info/%make-breakpoint-info/, since leaving
the traditional default name MAKE-... exposed when you're
really supposed to use CREATE-... is an attractive
nuisance
s/code-location-number/code-location-selector/, since it's
not necessarily a number

21 years ago0.7.6.19:
Christophe Rhodes [Tue, 13 Aug 2002 14:40:41 +0000 (14:40 +0000)]
0.7.6.19:
COMPILE-FILE-PATHNAME behaviour change (ANSI fix, probably)
... now with extra juicy MERGE-PATHNAMES logic
Fixes related to this change
... always absolutify pathnames in SBCL's build procedure
(with the TRUENAME-of-a-closed-file-stream trick)
... don't wander off into random memory if an arbitrary
stream is fed to a pathname function
NEWS update

21 years ago0.7.6.18:
Christophe Rhodes [Tue, 13 Aug 2002 11:45:40 +0000 (11:45 +0000)]
0.7.6.18:
SYMBOL-MACROLET fixes
... throw a COMPILER-ERROR when attempting to bind a special or
a constant with SYMBOL-MACROLET
... throw a PROGRAM-ERROR when attempting to run a form
compiled with errors
(thanks to Raymond Toy and Eric Marsden for their work on the
CMUCL side)

21 years ago0.7.6.17:
Christophe Rhodes [Mon, 12 Aug 2002 13:54:50 +0000 (13:54 +0000)]
0.7.6.17:
Unabbreviate "variable" used adjectivally
... VARIABLE-LENGTH boolean attribute for backend pseudo-instructions
... VARIABLE-LENGTH-P slot in primitive object structure
Turn on the assembler scheduler for SPARCs

21 years ago0.7.6.16:
Christophe Rhodes [Fri, 9 Aug 2002 14:32:49 +0000 (14:32 +0000)]
0.7.6.16:
Fix for stop'n'copy garbage collection
... don't unconditionally set current_dynamic_space to be the 0
space

21 years ago0.7.6.15:
Christophe Rhodes [Thu, 8 Aug 2002 11:28:45 +0000 (11:28 +0000)]
0.7.6.15:
Bugfix for DEFINE-ALIEN-ROUTINE
... now alien routines with doctypes get an FTYPE DECLAIMed
which has the right number of arguments
... remove duplicate definition of get-timezone; use helper
functions defined in unix.lisp

21 years ago0.7.6.14:
Christophe Rhodes [Wed, 7 Aug 2002 18:48:47 +0000 (18:48 +0000)]
0.7.6.14:
Fix potential off-by-one in SCRUB-CONTROL-STACK when the stack
grows downwards.
        v-----v-- guard page extent
[    ||               ]
             ^-- word at which we should stop scrubbing
        in contrast with
                         v----v-- guard page extent
        [                |    ]
                         ^-- word at which we should stop scrubbing
... <= changes to <
... I thought this might fix the large dynamic sizes after
purify seen on the x86 since 0.7.6.2, but no dice :-/

21 years ago0.7.6.13:
Christophe Rhodes [Wed, 7 Aug 2002 12:27:50 +0000 (12:27 +0000)]
0.7.6.13:
Various ANSI fixes via Raymond Toy and Wolfhard Buss, variously
        on cmucl-imp
... (COERCE 1 '(COMPLEX FLOAT)) now returns a complex float
... (PARSE-INTEGER " 12 a") now throws an error of type
PARSE-ERROR
... (/ 2/3 0) now throws an error of type DIVISION-BY-ZERO
... LOGAND on the sparc now has more correct VOPs
also log the PCL bugs from APD sbcl-devel 2002-08-04

21 years ago0.7.6.12:
Daniel Barlow [Tue, 6 Aug 2002 11:46:32 +0000 (11:46 +0000)]
0.7.6.12:
merge gc-cleanup-branch

21 years ago0.7.6.11:
Daniel Barlow [Tue, 30 Jul 2002 21:33:09 +0000 (21:33 +0000)]
0.7.6.11:
update supported architecture list in manual page.  No exciting
changes

21 years ago0.7.6.10:
William Harold Newman [Mon, 29 Jul 2002 22:06:34 +0000 (22:06 +0000)]
0.7.6.10:
suppressed DEFTRANSFORM CONCATENATE, since we still haven't
fixed bug 188 (so now CONCATENATE will presumably run
more slowly, but at least it won't have absurdly long
compile times)

21 years ago0.7.6.9:
William Harold Newman [Mon, 29 Jul 2002 20:21:25 +0000 (20:21 +0000)]
0.7.6.9:
documentation tweaks

21 years ago0.7.6.8:
Christophe Rhodes [Fri, 26 Jul 2002 10:03:39 +0000 (10:03 +0000)]
0.7.6.8:
Final deletion of %DETECT-STACK-EXHAUSTION, as per APD sbcl-devel
2002-07-26
... delete export of %D-S-E
... increase fasl file version number
Minor BUGS cleanup and cross-referencing

21 years ago0.7.6.7:
Christophe Rhodes [Thu, 25 Jul 2002 17:41:31 +0000 (17:41 +0000)]
0.7.6.7:
Fix up the SPARC fixups, *sigh*
... not only did my previous fix not run, it didn't compile, as
SIMPLE_FUN_CODE_OFFSET isn't defined in C, only in assembler.
... rewrite code address determination in two stages, and save
the fun object itself to go into reg_CODE on the SPARC
... [ keen observers will note that this is all terribly confusing. ]

21 years ago0.7.6.6:
Christophe Rhodes [Thu, 25 Jul 2002 11:07:46 +0000 (11:07 +0000)]
0.7.6.6:
Fix two typos for SB-SHOW

21 years ago0.7.6.something
Daniel Barlow [Wed, 24 Jul 2002 22:10:31 +0000 (22:10 +0000)]
0.7.6.something
More stack checking fixes
... when frobbing signal context on x86, set arg count (ecx) to 0,
    should fix problem observed on OpenBSD
... define a special control-stack-exhausted condition so that
            ignore-errors won't ignore stack exhaustion
... fix the test to match the condition

21 years ago0.7.6.4:
Christophe Rhodes [Wed, 24 Jul 2002 10:43:17 +0000 (10:43 +0000)]
0.7.6.4:
SPARC fixups
... make DB's wonderful stack exhaustion work on the SPARC
adjust NPC logic
add in fixup for bizarre SPARC calling convention
... improve signal handling on SPARC/Linux
make a distinction between interrupt_handle_now() as called
from handlers, and interrupt_handle_now_handler()
installed as the sa_sigaction bit.

21 years ago0.7.6.3:
William Harold Newman [Tue, 23 Jul 2002 23:52:16 +0000 (23:52 +0000)]
0.7.6.3:
tweaked bsd-os.h to make the new sigaltstack(2) stuff build on
OpenBSD/x86
fixed bug 189: Now FLET and LABELS inlining respects NOTINLINE
declarations as required by ANSI.
While I'm at it, suppress FLET/LABELS inlining when (> DEBUG SPEED)
too.

21 years ago0.7.6.2:
Daniel Barlow [Tue, 23 Jul 2002 18:20:10 +0000 (18:20 +0000)]
0.7.6.2:
Revert random changes in my (Daniel's) checkout area that were
mistakenly committed in 0.7.6.1.  Sorry!

21 years ago0.7.6.1:
Daniel Barlow [Tue, 23 Jul 2002 17:22:35 +0000 (17:22 +0000)]
0.7.6.1:
Mostly-tested but still considered "experimental" non-invasive
stack exhaustion checking, using a guard page at the end of the
stack and an extra clause in the sigsegv (on some ports, sigbus)
handler.  One day there will be an internals doc with the
gory details: for now, try http://ww.telent.net/diary/2002/7/#23.59392

21 years ago0.7.6:
William Harold Newman [Tue, 23 Jul 2002 14:43:14 +0000 (14:43 +0000)]
0.7.6:
release, tagged as sbcl_0_7_6

21 years ago0.7.5.22:
William Harold Newman [Mon, 22 Jul 2002 20:22:41 +0000 (20:22 +0000)]
0.7.5.22:
deleted email addresses in the wake of autospam to cmucl-imp
("Attn: If you find bugs in CMU CL please report them to")

21 years ago0.7.5.21:
Christophe Rhodes [Mon, 22 Jul 2002 17:17:48 +0000 (17:17 +0000)]
0.7.5.21:
Complilation fix for Alpha/Linux (from DB, fixing CSR bogosity)

21 years ago0.7.5.20:
Christophe Rhodes [Mon, 22 Jul 2002 09:36:46 +0000 (09:36 +0000)]
0.7.5.20:
NEWS tweaking.

21 years ago0.7.5.19:
William Harold Newman [Fri, 19 Jul 2002 16:13:26 +0000 (16:13 +0000)]
0.7.5.19:
added FILES section of sbcl.1
screened CHECK-FULL-CALL with a test on *FAILURE-P* after one
too many times getting its "aiee! a compiler bug!"
complaints when the real problem is just that the
compiler is bravely trying to carry on despite
previously-detected programmer errors
renamed CHECK-FULL-CALL to PONDER-FULL-CALL because it has
side-effects, and even though they're very innocuous
side effects, naming a side-effectful function
CHECK-FOO just seems evil in principle

21 years ago0.7.5.18:
Christophe Rhodes [Thu, 18 Jul 2002 21:23:59 +0000 (21:23 +0000)]
0.7.5.18:
Get the NAME initarg for UNDEFINED-FUNCTION right (patch CSR
"PPC and undefined functions" sbcl-devel 2002-07-17)