sbcl.git
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)

21 years ago0.7.5.17: whitespace! there is no substantive change between this and
Daniel Barlow [Thu, 18 Jul 2002 17:47:34 +0000 (17:47 +0000)]
0.7.5.17: whitespace!  there is no substantive change between this and
  0.7.5.16, but all of src/runtime/*.[ch] has been eyeballed and
  weird indenting fixed up in favour of a uniform 4 charcters
  everywhere.  We give this change its version number to make
  it easier to diff previous and subsequent changes without
  white(space) noise adding to the confusion.

21 years ago0.7.5.17: whitespace! there is no substantive change between this and
Daniel Barlow [Thu, 18 Jul 2002 17:35:31 +0000 (17:35 +0000)]
0.7.5.17: whitespace!  there is no substantive change between this and
  0.7.5.16, but all of src/runtime/*.[ch] has been eyeballed and
  weird indenting fixed up in favour of a uniform 4 charcters
  everywhere.  We give this change its version number to make
  it easier to diff previous and subsequent changes without
  white(space) noise adding to the confusion.

21 years ago0.7.5.16:
Daniel Barlow [Thu, 18 Jul 2002 16:49:38 +0000 (16:49 +0000)]
0.7.5.16:
on targets that use the stop'n'copy gc, fix the "gc trigger
mysteriously ends up unset after MAYBE-GC doesn't" workaround,
to put the new barrier near the end of dynamic space instead of
leaving it only a page away.

21 years ago0.7.5.15:
William Harold Newman [Thu, 18 Jul 2002 03:31:01 +0000 (03:31 +0000)]
0.7.5.15:
fixed handling of INTERSECTION-TYPE corner case in
DEFTRANSFORM %DATA-VECTOR-AND-INDEX (used to fail with
TYPE-ERROR at compile time) by making DEFTRANSFORMs
call UPGRADED-ELEMENT-TYPE-SPECIFIER-OR-GIVE-UP instead
of assuming ARRAY-TYPE and calling
ARRAY-TYPE-SPECIALIZED-ELEMENT-TYPE directly

21 years ago0.7.5.14:
Christophe Rhodes [Wed, 17 Jul 2002 14:29:51 +0000 (14:29 +0000)]
0.7.5.14:
Add support for Solaris 9
... MAP_ANON is the same as in Solaris 8 (not that surprising).
Mention one or two other bits of NEWS

21 years ago0.7.5.13:
Christophe Rhodes [Tue, 16 Jul 2002 13:48:02 +0000 (13:48 +0000)]
0.7.5.13:
Linux floating point fixes
... define an os_restore_fp_control() function in the runtime, and
use it in signal handlers (protected by #ifdef
LISP_FEATURE_LINUX in non-Linux-specific code)
... write useful definitions of it
... for x86 (probably correct)
... for ppc (works, but could do with fixing)
... delete a SET_FPU_CONTROL_WORD from initialization
... dunno why it was there; no observable symptoms. Shout
if some early x86/Linux system no longer works.
... export to C (via sbcl.h) Lisp's view of the floating point
control word
... delete some floating-point-related stale symbols and comments
from package-data-list.lisp-expr
Now floating point stuff mostly works (I think) on x86/Linux and
ppc/Linux, as well as sparc/SunOS. Other platforms still
probably don't work.

21 years ago0.7.5.12:
William Harold Newman [Tue, 16 Jul 2002 03:09:43 +0000 (03:09 +0000)]
0.7.5.12:
fixed (LOAD "foo.fasl" :IF-DOES-NOT-EXIST NIL) bug reported
by Gregory Wright sbcl-devel 2002-07-15
found bug 188. I hope entomotomy will have some logic to avoid
this kind of stupid fix-a-reported-bug-report-a-bug
primitivity!

21 years ago0.7.5.11:
William Harold Newman [Mon, 15 Jul 2002 20:52:47 +0000 (20:52 +0000)]
0.7.5.11:
finished translating the FFI chapter of the manual from LaTeX
to valid (though extremely clunky) DocBook up to date
(I hope) w.r.t. current SBCL behavior
made *SOFT-HEAP-LIMIT* default not NIL (after my application
overflowed the heap)
deleted bug 96 because it was implicitly a reference to the
old default implementation of TRACE in terms of
breakpointing the target function, and no longer
really applies now that the wrapper-based TRACE is the
default. TRACE still has the bug 67 problem which
keeps it from being used on functions which play a
role in the implementation of TRACE, but no longer
has a problem with functions just because they're
compiled into a particular physical representation.

21 years ago0.7.5.10:
Christophe Rhodes [Thu, 11 Jul 2002 15:17:00 +0000 (15:17 +0000)]
0.7.5.10:
Begin to fix floating point exceptions on PPC
... write an os_context_fp_control function
... use it in CONTEXT-FLOATING-POINT-MODES
(this, unlike on the SPARC and Alpha ports, doesn't fix all the
normal-user problems.  After the first return from the Lisp
debugger on the PPC, the FLOATING-POINT-MODES are (almost)
cleared, which means that the second bad floating point
operation is not trapped).

21 years ago0.7.5.9:
William Harold Newman [Thu, 11 Jul 2002 02:15:04 +0000 (02:15 +0000)]
0.7.5.9:
&REST error-checking fix (cribbed from rtoy's post to
cmucl-imp today)

21 years ago0.7.5.8:
William Harold Newman [Thu, 11 Jul 2002 00:59:30 +0000 (00:59 +0000)]
0.7.5.8:
tweaked MAKE-XEP so that its output is compiled with tail call
elimination
(I'll probably revisit this later to do similar tricks on
other machinery like "varargs entry for ...", but even
without that this little hack seems to be worth
checking in.)

21 years ago0.7.5.7:
William Harold Newman [Tue, 9 Jul 2002 14:18:40 +0000 (14:18 +0000)]
0.7.5.7:
deleted call_cmd() from ldb, since it's bitrotted
deleted *!INITIAL-FDEFN-OBJECTS* from static symbols now that
the C runtime doesn't need it
incremented fasl file version number now that static symbols
have changed
deleted unused *INTERNAL-GC-TRIGGER*
s/INTERNAL_GC_TRIGGER/GENCGC/ (so that all the runtime code
which compiled differently depending on cpp's knowledge
of the existence of the unused variable now depends on
something somewhat more relevant)

21 years ago0.7.5.7:
Christophe Rhodes [Tue, 9 Jul 2002 14:02:37 +0000 (14:02 +0000)]
0.7.5.7:
Make array initialization fast
... write a new MAKE-ARRAY transform to deal with
initial-element initialization
... edit the other transforms to take account of this
... add a comment detailing that the order in *SAETP*
is significant
Minor runtime patch to allow versions containing #\%

21 years ago0.7.5.6:
William Harold Newman [Sun, 7 Jul 2002 12:24:11 +0000 (12:24 +0000)]
0.7.5.6:
more manual translation/updating: much of CMU CL "alien"
documentation into doc/ffi.sgml

21 years ago0.7.5.5:
Christophe Rhodes [Fri, 5 Jul 2002 14:39:51 +0000 (14:39 +0000)]
0.7.5.5:
Fix bug 186 by adding a declaration to the FILL transform.
... and write a test
... analogous fix in the transform for HAIRY-DATA-VECTOR-SET,
though any bug coming from there hadn't been
detected yet.
Greetings from Paris!

21 years ago0.7.5.4:
William Harold Newman [Thu, 4 Jul 2002 22:08:52 +0000 (22:08 +0000)]
0.7.5.4:
merged CSR's "BUG 156" patch (from sbcl-devel 2002-07-02)

21 years ago0.7.5.3:
William Harold Newman [Tue, 2 Jul 2002 12:32:42 +0000 (12:32 +0000)]
0.7.5.3:
made BUGS entry for the DEFTRANSFORM gotcha referred to below
tweak in runtime.c, should still work the same (trying to make 80-char lines:-)
put CSR's current diff into the main CVS since he's gone for a
while and I want to work with it now without thinking
about merging later...
...BUGS entry for FILL problem
...fixed FIXME re. %DATA-VECTOR-AND-INDEX
...defined a DEFTRANSFORM on %DATA-VECTOR-AND-INDEX so
things apparently go faster now
...(didn't define another otherwise-reasonable DEFTRANSFORM on
%DATA-VECTOR-AND-INDEX, for non-simple VECTORs,
because it evidently tickles a bug in the DEFTRANSFORM
system, as reported on sbcl-devel)

21 years ago0.7.5.2:
Christophe Rhodes [Wed, 26 Jun 2002 14:11:27 +0000 (14:11 +0000)]
0.7.5.2:
Minor array performance tweak
... return the known-boxed value from the full-call
HAIRY-DATA-VECTOR-SET

21 years ago0.7.5.1:
Christophe Rhodes [Tue, 25 Jun 2002 15:57:13 +0000 (15:57 +0000)]
0.7.5.1:
Alpha build fix
... define the relevant types earlier in the build
... s/INTEGER-WITH-A-BITE-OUT/UNSIGNED-BYTE-WITH-A-BITE-OUT/
Array performance enhancement
... remove the (SAFETY 3) declaration from HAIRY-DATA-VECTOR-{REF,SET}
... write tests for AREF beyond array bounds
Buglet fix in pack.lisp
... put FILL arguments the right way round

21 years ago0.7.5:
William Harold Newman [Sun, 23 Jun 2002 17:23:08 +0000 (17:23 +0000)]
0.7.5:

21 years ago0.7.4.42:
Christophe Rhodes [Sat, 22 Jun 2002 15:15:29 +0000 (15:15 +0000)]
0.7.4.42:
Reopened BUG 140, closing BUG 176 in the process.

21 years ago0.7.4.41:
William Harold Newman [Thu, 20 Jun 2002 13:05:47 +0000 (13:05 +0000)]
0.7.4.41:
finishing up the immediately preceding "BUGS and other text" checkin:-|

21 years agoBUGS and other text
William Harold Newman [Thu, 20 Jun 2002 13:04:26 +0000 (13:04 +0000)]
BUGS and other text

21 years ago0.7.4.40:
Christophe Rhodes [Thu, 20 Jun 2002 11:23:48 +0000 (11:23 +0000)]
0.7.4.40:
SPARC floating point fixes
... write a C function to get at the floating point state register
and use it for context-floating-point-modes (SunOS)
... attempt to do the same for SPARC/Linux, then realise that
the current state was more broken than I thought, so
wrote a BUG instead
Portability fix to binary-distribution.sh

21 years ago0.7.4.39:
William Harold Newman [Tue, 18 Jun 2002 17:45:14 +0000 (17:45 +0000)]
0.7.4.39:
merged pmai patch (sbcl-devel 2002-06-18) for bug 180 (where
:MOST-SPECIFIC-LAST options were ignored in method
combination)

21 years ago0.7.4.38:
Christophe Rhodes [Tue, 18 Jun 2002 13:14:17 +0000 (13:14 +0000)]
0.7.4.38:
Final OpenMCL fixes
... dubiously fix a FIXME in the reader with something that
superficially looks better but is in fact just as
wrong.
Now SBCL compiles under an unpatched released OpenMCL!

21 years ago0.7.4.37:
Christophe Rhodes [Tue, 18 Jun 2002 08:05:45 +0000 (08:05 +0000)]
0.7.4.37:
Some cleanups for OpenMCL compilation
... change one IGNORE to IGNORABLE
... delete FIXME from errors (OpenMCL can compile that now)
... NB: it still doesn't quite work for some reason;
investigation is ongoing...
Text file updates

21 years ago0.7.4.36:
William Harold Newman [Sun, 16 Jun 2002 16:05:09 +0000 (16:05 +0000)]
0.7.4.36:
just BUGS entries

21 years ago0.7.4.35:
William Harold Newman [Sat, 15 Jun 2002 03:19:15 +0000 (03:19 +0000)]
0.7.4.35:
(no real changes, just note of another cvs commit mistake:
not making a log notice of the NARROWED-EMF code in
boot.lisp code which replaces the 0.7.4.24 fix for
bug 177. The newer code, which seems to've gone in
in 0.7.4.31, endeavors to give the compiler enough
information to delete the code which was causing type
warnings, instead of the .24 hack of just hiding the
offending code behind an opaque identity function)

21 years ago0.7.4.34:
William Harold Newman [Sat, 15 Jun 2002 03:05:18 +0000 (03:05 +0000)]
0.7.4.34:
minor OAOO FIXME for GENESIS...
..made the FOO-ENTRY-TYPE-CODE parameters propagate
automatically into sbcl.h instead of maintaining
separate copies of their definititions in core.h (and
renamed them, s/entry-type-code/core-entry-type-code/,
 to help make them more painfully specific now that
their scope is wider)
...similarly propagated FOO-SPACE-ID automatically into
sbcl.h, and s/foo-space-id/foo-core-space-id/

21 years ago0.7.4.33:
Christophe Rhodes [Fri, 14 Jun 2002 21:50:14 +0000 (21:50 +0000)]
0.7.4.33:
The missing piece in the OpenMCL build...
... move some clauses around in cross-compilation float logic.
NB: I am _not_ sure that this is correct in any sense
other than the empirical "it works". The IEEE-representation
logic for the cross-compiler needs review by someone
who knows what an IEEE float looks like. For now, though...
... now SBCL builds under OpenMCL!

21 years ago0.7.4.32:
William Harold Newman [Fri, 14 Jun 2002 18:26:27 +0000 (18:26 +0000)]
0.7.4.32:
pure lossage: Only an elite few languages limit their built-in
"vector" abstraction to short fixed lengths, but Common
Lisp is one of them, so in order to use vectors in
GENESIS with OpenMCL as xc host, we get to roll our own
implementation of longer vectors. (and fair warning: If
in the next few months anyone dares to suggest a
correlation between Lisp and "the Right Thing" and I
don't detect enough sarcasm to stun a Cape Buffalo at
fifty paces, I plan to kick him until I feel better.)
But on what some might consider to be the plus side,
this is a case where it's easy to keep the
comment-to-code ratio around 1:1...

21 years ago0.7.4.31:
William Harold Newman [Fri, 14 Jun 2002 03:19:59 +0000 (03:19 +0000)]
0.7.4.31:
mostly comment cleanups, but also a few slot renamings from my
(unsuccessful so far) attempts to understand why a test
case makes PROPAGATE-LIVE-TNS chew up 95% of compiler
time...
... s/global-conflicts-next/global-conflicts-next-blockwise/
... s/global-conflicts-tn-next/global-conflicts-next-tnwise/
... (i.e. making parallel-in-meaning slots parallel in name)

21 years ago0.7.4.30:
Christophe Rhodes [Thu, 13 Jun 2002 08:54:37 +0000 (08:54 +0000)]
0.7.4.30:
Merge BYTE fix.
... include LDB-TEST in the shadowed symbols
... leave hideous violation of OAOO in load-or-cload-xcompiler
unfixed for now
Minor IGNORE/IGNORABLE and IN-PACKAGE tweaks

21 years ago0.7.4.29:
William Harold Newman [Thu, 13 Jun 2002 00:47:51 +0000 (00:47 +0000)]
0.7.4.29:
merged patch: APD ANSI compliance bugfix for DECLARE IGNORABLE
of special variable (sbcl-devel 2002-06-12)
Whether or not my alternative fix for the CALL-NEXT-METHOD
type warning bug (being carefully reviewed on
sbcl-devel even as I write:-) is OK, I might as well
at least stuff the exploratory test cases I wrote
for it into tests/.
Bug 137 (useless debug names e.g. in BACKTRACE) seems to be
gone, since at least I haven't stumbled across it
recently, so delete the BUGS entry.

21 years ago0.7.4.28:
Christophe Rhodes [Wed, 12 Jun 2002 11:51:55 +0000 (11:51 +0000)]
0.7.4.28:
Fix BUG 179
... one character fix, and two-line test.
Some OpenMCL cross-compilation fixes
... prefer (declaim (ftype (*) ...)) to (declare (values ...))
... remove arrays that are undumpable from cross-compiler's logic.

21 years ago0.7.4.27:
Christophe Rhodes [Wed, 12 Jun 2002 10:01:59 +0000 (10:01 +0000)]
0.7.4.27:
OpenMCL bootstrap fix
... (INTEGER-LENGTH x) is the same as (1+ (FLOOR (LOG x 2))), duh,
and is anyway what I was trying to express.
Log the bug in DIRECTORY

21 years ago0.7.4.26:
William Harold Newman [Tue, 11 Jun 2002 18:57:44 +0000 (18:57 +0000)]
0.7.4.26:
new BUGS entry

21 years ago0.7.4.25:
Christophe Rhodes [Tue, 11 Jun 2002 16:13:35 +0000 (16:13 +0000)]
0.7.4.25:
Bugfix for PPC floating point control handling
... document and test.
Minor text file tweaking, too