sbcl.git
20 years ago0.8.3.69:
Christophe Rhodes [Mon, 15 Sep 2003 16:56:13 +0000 (16:56 +0000)]
0.8.3.69:
Cosmetic fixes
... document MacOS X's stack size limitation in README
... annoying placement of a close quote in asdf-module.mk

20 years ago0.8.3.68:
Christophe Rhodes [Mon, 15 Sep 2003 15:09:01 +0000 (15:09 +0000)]
0.8.3.68:
Kludge around an apparent problem in hardware/kernel/somewhere
to do with denormalized float traps...
... explicitly clear that bit in os_restore_fp_control();
... document in BUGS;
... handle ARITHMETIC-ERROR, not just DIVISION-BY-ZERO, so that
ports without fp words in sigcontext pass the test

20 years ago0.8.3.67:
Christophe Rhodes [Mon, 15 Sep 2003 13:45:16 +0000 (13:45 +0000)]
0.8.3.67:
Somewhat amazingly, fixing the floating point issue described in
"Alpha aargh" (CSR sbcl-devel 2003-09-12) wasn't too hard to fix.
... so fix it :-)

20 years ago0.8.3.66:
Christophe Rhodes [Mon, 15 Sep 2003 13:14:54 +0000 (13:14 +0000)]
0.8.3.66:
Fix Alpha data corruption bug
... as with MIPS case a couple of months ago, index goes
forwards through a string, not backwards.
... include a test case (how did that happen?)

20 years ago0.8.3.65:
Christophe Rhodes [Mon, 15 Sep 2003 11:31:56 +0000 (11:31 +0000)]
0.8.3.65:
More alpha backend stuff
... fix ASH ... -31 bug;
... fix LOGCOUNT bug found while investigating ASH bug.

20 years ago0.8.3.64:
Kevin Rosenberg [Mon, 15 Sep 2003 10:12:44 +0000 (10:12 +0000)]
0.8.3.64:
   * Add more description for the array describe-object method
   * Eliminate warnings from sbcl-asdf-install when asdf is present
     in the core file

20 years ago0.8.3.63:
Christophe Rhodes [Mon, 15 Sep 2003 09:59:11 +0000 (09:59 +0000)]
0.8.3.63:
Bignum multiplication on the Alpha...
... when creating notionally unsigned 32-bit quantities from
notionally unsigned 64-bit quantities, it's quite
important to do a logical and not an arithmetic shift.

20 years ago0.8.3.62:
Alexey Dejneka [Mon, 15 Sep 2003 09:21:37 +0000 (09:21 +0000)]
0.8.3.62:
        * Split CONTINUATION into CTRAN (control part) and LVAR (value
          part);
        ... remove :DELETED and :DELETED-BLOCK-START continuation
            kinds;
        ... remove bug reported by Paul Dietz on sbcl-devel
            2003-09-14.

20 years ago0.8.3.61:
Christophe Rhodes [Sun, 14 Sep 2003 16:14:54 +0000 (16:14 +0000)]
0.8.3.61:
Fix for compiler "cannot convert to SINGLE-FLOAT: <largenum>" in
type inference, as reported PFD sbcl-devel 2003-09-13:
... a slight rewrite to the SIGNED-ZERO-OP methods in
src/compiler/srctran.lisp
... not correct in the presence of one integer and one float argument,
as coercion could still occur.  Break me if you can.

20 years ago0.8.3.60:
Alexey Dejneka [Sun, 14 Sep 2003 07:44:45 +0000 (07:44 +0000)]
0.8.3.60:
        * Fix bug reported by Doug McNaught: COMPILE-FILE should bind
          *READTABLE* (we bind it in SUB-COMPILE-FILE).

20 years ago0.8.3.59:
Alexey Dejneka [Sun, 14 Sep 2003 05:02:45 +0000 (05:02 +0000)]
0.8.3.59:
        * Fixed compier failure reported by Paul Dietz to sbcl-devel
          in <3F630474.6070301@dls.net>.

        "APD, continuations do not represent control transfers, is it
        so hard to remember?!"

20 years ago0.8.3.58:
Alexey Dejneka [Sat, 13 Sep 2003 10:39:27 +0000 (10:39 +0000)]
0.8.3.58:
        * Describe problems with source transformation of assotiative
          functions.

20 years ago0.8.3.57:
William Harold Newman [Sat, 13 Sep 2003 01:19:37 +0000 (01:19 +0000)]
0.8.3.57:
redid the implementation of --disable-debugger so that it won't
get bewildered when BREAK is called (thanks to Dan and
Christophe for bug reporting and guidance)
deleted unused DEFUN PRINT-CODE-LOCATIONS
deleted UGLINESS, reexpressing some of the issues as BUGS and
just dropping others ("That's the way it is.":-)

20 years ago0.8.3.56:
Christophe Rhodes [Fri, 12 Sep 2003 15:23:07 +0000 (15:23 +0000)]
0.8.3.56:
Fix (BYTE 0 0)
... again, in the %LDB-and-friends DERIVE-TYPE methods, but this
time the failure seemed more justifiable, because...
... (UNSIGNED-BYTE 0) is quite naturally interpreted as
(INTEGER 0 0), and that's what we wrote, but ...
... ANSI saith "s---a positive integer".  Ugh.  So ...
... implement SB!INT:UNSIGNED-BYTE* that does the right thing,
and use it to simplify derive-type logic.

20 years ago0.8.3.55:
Christophe Rhodes [Fri, 12 Sep 2003 11:27:39 +0000 (11:27 +0000)]
0.8.3.55:
Tweak the %DPB fix:
... on Alpha, currently N-WORD-BITS = 32 while register
arithmetic is 64-bits.  Extend and document the cutoff
in %DEPOSIT-FIELD DERIVE-TYPE.

20 years ago0.8.3.54:
Alexey Dejneka [Fri, 12 Sep 2003 09:16:53 +0000 (09:16 +0000)]
0.8.3.54:
        * Fix type derivers for %DPB and %DEPOSIT-FIELD: SIGNED-BYTE
          representation requires extra sign bit. (reported by Paul
          Dietz)

20 years ago0.8.3.53:
Christophe Rhodes [Thu, 11 Sep 2003 15:49:43 +0000 (15:49 +0000)]
0.8.3.53:
LOGBITP fixes
... correctness fix: INDEX can be any UNSIGNED-BYTE, not just a
positive fixnum or an INDEX;
... efficiency fix: don't cons up a bignum as large as memory
when given large INDEX numbers; instead, be efficient
and grab just the relevant word of the INTEGER
argument.

20 years ago0.8.3.52:
Christophe Rhodes [Thu, 11 Sep 2003 12:38:38 +0000 (12:38 +0000)]
0.8.3.52:
Fix treatment of effective addresses for arithmetic
... somewhat similar to the PPC problems, ironically.  We want
to be able to pun signed constants as unsigned
constants, which we could do were it not for those
pesky type declarations...
... so relax the type declarations sufficiently to allow
it to work.

20 years ago0.8.3.51:
Christophe Rhodes [Thu, 11 Sep 2003 11:27:56 +0000 (11:27 +0000)]
0.8.3.51:
Fix (LCM 0 0)

20 years ago0.8.3.50:
Alexey Dejneka [Thu, 11 Sep 2003 10:31:56 +0000 (10:31 +0000)]
0.8.3.50:
        * Fix compiler failures reported by Paul Dietz: be more
          accurate with BLOCK-LAST treating in CONSTANT-FOLD-CALL and
          DO-NODES.

20 years ago0.8.3.49:
Alexey Dejneka [Wed, 10 Sep 2003 14:50:05 +0000 (14:50 +0000)]
0.8.3.49:
        * Fix bogus test for [absence of] function type inference.

20 years ago0.8.3.48:
Christophe Rhodes [Wed, 10 Sep 2003 13:21:29 +0000 (13:21 +0000)]
0.8.3.48:
(SIGNED-BYTE 1) = (INTEGER -1 0)
... detected by random input from pfdietz, noted on #lisp
2003-09-10

20 years ago0.8.3.47:
Alexey Dejneka [Tue, 9 Sep 2003 07:09:48 +0000 (07:09 +0000)]
0.8.3.47:
        * Fix bugs in PARSE-INTEGER related to the index in
          :JUNK-ALLOWED NIL case and to displaced string processing
          reported by Paul Dietz;
        * fix bug 145b: in CONVERT-MEMBER-TYPE bail out to (TYPE-OF
          MEMBER) in difficult cases.

20 years ago0.8.3.46:
Christophe Rhodes [Mon, 8 Sep 2003 16:57:56 +0000 (16:57 +0000)]
0.8.3.46:
Really really really really fix the ASH bug on MIPS
... really.  Even for constant shifts.

20 years ago0.8.3.45:
Christophe Rhodes [Mon, 8 Sep 2003 13:42:12 +0000 (13:42 +0000)]
0.8.3.45:
Fix bug 285
... %MULTIPLY vop was feeling free to scribble over its inputs
... add :FROM and :TO clauses to try to prevent this
... %MULTIPLY-AND-ADD vops are unchanged, but could quite easily be
wrong
OK, OK, I give in
... relax the type declaration on signed-immediate instructions
to allow (unsigned-byte 16)s through

20 years ago0.8.3.44:
Christophe Rhodes [Mon, 8 Sep 2003 09:00:17 +0000 (09:00 +0000)]
0.8.3.44:
"Oops"
... as reported on #lisp IRC by pfdietz, FILL would on occasion
consume all available CPU and RAM...
... unbreak the new vectorized transform by returning the
sequence argument rather than NIL.

20 years ago0.8.3.43:
Christophe Rhodes [Mon, 8 Sep 2003 08:52:14 +0000 (08:52 +0000)]
0.8.3.43:
No functional changes
... update the PPC instruction descriptions to mostly describe
their constraints (probably missing some :writes :lr)
... don't turn the scheduler on, though, because the assembler
wants to fill unschedulable areas with NOPs, which is
probably not a win

20 years ago sb-posix: define msync and its constants
Rudi Schlatte [Sun, 7 Sep 2003 15:24:00 +0000 (15:24 +0000)]
    sb-posix: define msync and its constants
        ... use it in sb-simple-streams

20 years agoRemove files (cl.lisp superseded by impl.lisp, simple-streams.lisp
Rudi Schlatte [Sun, 7 Sep 2003 14:19:08 +0000 (14:19 +0000)]
Remove files (cl.lisp superseded by impl.lisp, simple-streams.lisp
broken in parts)

20 years agoMerge cmucl simple-streams
Rudi Schlatte [Sun, 7 Sep 2003 14:10:26 +0000 (14:10 +0000)]
Merge cmucl simple-streams

... major code shifting: simple-streams.lisp is no more; its contents
    have moved into several  files, each for a specific kind of stream
... file layout is now the same as cmucl pcl/simple-streams directory
    for easier trading of fixes / functionality
... new functionality: external formats (need some work still, but
    infractructure is there), string-streams
... Some functionality still missing (see TODO file)

20 years ago0.8.3.40:
Kevin Rosenberg [Sun, 7 Sep 2003 05:21:59 +0000 (05:21 +0000)]
0.8.3.40:
   * Apply Nikodemus's patch for cl-linedit
   * Minor changes to inspect.lisp

20 years ago0.8.3.39:
Christophe Rhodes [Sat, 6 Sep 2003 11:03:20 +0000 (11:03 +0000)]
0.8.3.39:
Fix the ASH bugs for mips (I think)
... just one vop to fix
While I'm at it, delete unused or bogus SXHASH assembly
routines;
Add mips to INSTALL as suggested by Lars Brinkhoff.

20 years ago0.8.3.38:
Christophe Rhodes [Fri, 5 Sep 2003 08:15:44 +0000 (08:15 +0000)]
0.8.3.38:
Confirming what we already knew, part LXXVI
... the coverage of the compiler in the test suite isn't complete
... the coverage of the compiler in compiling the compiler is
at least different
... so fix the operand to ADDIS in %SINGLE-FLOAT/SIGNED sufficiently
to allow the compiler to compile

20 years ago0.8.3.37:
Christophe Rhodes [Thu, 4 Sep 2003 16:52:07 +0000 (16:52 +0000)]
0.8.3.37:
Some more love and kisses to the ppc backend
... the strength reduction we perform on sparc multiplications
is going to be common to most architectures, so
... factor out the reduction itself into a routine
... use it in a PPC deftransform for *, with suitable cutoffs
... some appropriate * vops, too
Incidental cleanups in the ppc backend
... declare D-SI instructions' operands to have the appropriate type
... fix the shady dodgy dealing going on in the %LR macrofunction

20 years ago0.8.3.36:
Alexey Dejneka [Thu, 4 Sep 2003 16:09:11 +0000 (16:09 +0000)]
0.8.3.36:
        * Fix bug reported by Paul Dietz: (GCD 0 X) returned X instead
          of (ABS X).

20 years ago0.8.3.35:
Christophe Rhodes [Thu, 4 Sep 2003 15:05:34 +0000 (15:05 +0000)]
0.8.3.35:
Since we're playing with backends...
... add the x86 CMOV instruction
... and a (disabled by default) VOP that uses it for ASH
No, it's not noticeably faster; why do you ask?  *sigh*

20 years ago0.8.3.34:
Christophe Rhodes [Thu, 4 Sep 2003 13:35:07 +0000 (13:35 +0000)]
0.8.3.34:
Love and tenderness to the SPARC arithmetic instructions
... fix the ASH bug, I think

20 years ago0.8.3.33:
Alexey Dejneka [Thu, 4 Sep 2003 05:56:08 +0000 (05:56 +0000)]
0.8.3.33:
        * Fix bug reported by Paul Dietz: (GCD 0 X) returned X instead
          of (ABS X).

20 years ago0.8.3.32:
Christophe Rhodes [Wed, 3 Sep 2003 16:52:23 +0000 (16:52 +0000)]
0.8.3.32:
Fix the ASH issues on x86.
... it seemed to me crying out for a CMOV optimization along the
lines of the sparc case, but to my dismay it seems that
x86's conditional move instruction does not allow
immediate arguments.  Maybe some bright young spark
nevertheless has a neat way of using modern instructions
to save a branch or two?

20 years ago0.8.3.31:
Christophe Rhodes [Wed, 3 Sep 2003 14:13:35 +0000 (14:13 +0000)]
0.8.3.31:
Fix ASH bug on PPC
... add a test for it, which will probably fail on most if not all
other architectures.  To be continued...

20 years ago0.8.3.30:
Christophe Rhodes [Wed, 3 Sep 2003 09:52:04 +0000 (09:52 +0000)]
0.8.3.30:
Stylistic change in COERCE-TO-COMPLEX-TYPE:
... (subtypep (type-of ...) 'double-float)???
Change it to (typep ... 'double-float).
... adjust some comments for reality.

20 years ago0.8.3.28:
Alexey Dejneka [Wed, 3 Sep 2003 09:05:02 +0000 (09:05 +0000)]
0.8.3.28:
        * Fix bug reported by Paul Dietz in optimizer for (EXPT ...
          <zero>)
        ... different treating of integer and complex arguments;
        ... SOURCE-TRANSFORM-NUMERIC-TYPEP: be accurate with (COMPLEX
        INTEGER);
        * SB-BSD-SOCKETS: really grovel SO_NO_CHECK.

20 years ago0.8.3.28:
Christophe Rhodes [Wed, 3 Sep 2003 08:41:53 +0000 (08:41 +0000)]
0.8.3.28:
Some fixes from our most compliant platform(!)
... fix the tests to DWIMeant, even under Bourne sh
... adjust the signal conditionals to reflect what I think is
the truth about their availability

20 years ago0.8.3.27:
Christophe Rhodes [Tue, 2 Sep 2003 12:33:23 +0000 (12:33 +0000)]
0.8.3.27:
Promising a vectorizing Lisp compiler since, oh, 2001...
... hand-vectorize FILL on simple-base-strings.

20 years ago0.8.3.26:
Christophe Rhodes [Tue, 2 Sep 2003 11:25:39 +0000 (11:25 +0000)]
0.8.3.26:
PPC/Linux bandaid
... compile the runtime without optimization: log it as a workaround
for an underlying problem in BUGS

20 years ago0.8.3.25:
Alexey Dejneka [Tue, 2 Sep 2003 11:11:46 +0000 (11:11 +0000)]
0.8.3.25:
        * Fix bug 277: IGNORE/IGNORABLE declarations should work for
          symbol macros;
        * fix bug in CERROR recognition inside RESTART-CASE.

20 years ago0.8.3.24
Daniel Barlow [Tue, 2 Sep 2003 02:39:02 +0000 (02:39 +0000)]
0.8.3.24
Duh.  A working version of socket-accept would be an improvement

20 years ago0.8.3.23
Daniel Barlow [Tue, 2 Sep 2003 00:08:14 +0000 (00:08 +0000)]
0.8.3.23
Exciting gencgc hacking: SB-SYS:WITH-PINNED-OBJECTS

When passing Lisp objects to foreign code, it is important
that GC doesn't change the object's address as the foreign
code's pointers to it won't be updated.  Traditionally this is
done using WITHOUT-GCING, but that's not ideal in a threaded
system where one thread may be doing a blocking alien call and
other threads would like to continue as normal.

So, instead we shove pointers to the important objects on the
C stack where they will cause the pages pointed to to be
pinned in place using preserve_pointers.  Additionally we make
a small change to gencgc to ensure that they _stay_ pinned in
subsequent GCs

On ports that use cheneygc we can't do this, so
WITH-PINNED-OBJECTS is just an alias for WITHOUT-GCING.  As
these ports don't have threads anyway, that's not a major
inconvenience.

Small updates to doc/internals-notes/threading-specials,
slightly larger updates to comments regarding ALLOCATION
and PSEUDO-ATOMIC macros

Documentation update to the FFI chapter

20 years ago0.8.3.22:
Andreas Fuchs [Mon, 1 Sep 2003 21:22:14 +0000 (21:22 +0000)]
0.8.3.22:
Contrib frobs
... add a safeguard to sb-grovel:
  issue a STYLE-WARNING when a constant can not be
groveled;
... grovel SIG* names in sb-posix; this includes SIGRT* names
on platforms where they are defined.

20 years ago0.8.3.21:
Christophe Rhodes [Mon, 1 Sep 2003 15:29:34 +0000 (15:29 +0000)]
0.8.3.21:
Fix PPC floating point backend bugs
... STFD moves a doubleword to the effective address.  Better not
have that effective address be a 32-bit area
(e.g. SINGLE-STACK) then

20 years ago0.8.3.20:
Christophe Rhodes [Mon, 1 Sep 2003 14:44:44 +0000 (14:44 +0000)]
0.8.3.20:
Fixed bug revealed by PFD in *.26:
... (FLOAT X) should be transformed to guard against X already
being a float, in which case no coercion should occur.
Minor adjustments:
... tighten up the type of RANDOM;
... textual frobs around RANDOM area.
(there's an extremely strange bug in RANDOM on the powerpc,
which I haven't yet logged but will do if I can't figure out
what's going on)

20 years ago0.8.3.19:
Christophe Rhodes [Mon, 1 Sep 2003 12:51:08 +0000 (12:51 +0000)]
0.8.3.19:
Fix bug in ROUND/FROUND revealed by PFD
... after cmucl-imp/sbcl-devel 2003-08-xx
Remove last vestiges of *GC-NOTIFY-STREAM*

20 years ago0.8.3.18:
Christophe Rhodes [Mon, 1 Sep 2003 10:41:24 +0000 (10:41 +0000)]
0.8.3.18:
Allow RUN-PROGRAM to work even when something in $PATH is not
an existent directory:
... patch from Andreas Fuchs sbcl-devel 2003-08-26;
... add a test case;
Also, need find-gnumake.sh in binary distributions:
... make it so!

20 years ago0.8.3.17:
Alexey Dejneka [Mon, 1 Sep 2003 07:55:42 +0000 (07:55 +0000)]
0.8.3.17:
        * Take signal numbers from C land;
        * use numeric constants instead of keywords to identify
          signals (as per DB and WHN mails to sbcl-devel 2003-08-31);
        ... remove SB-UNIX:UNIX-SIGNAL-NUMBER and UNIX-SIGNAL-NAME.

20 years ago0.8.3.16
Daniel Barlow [Sat, 30 Aug 2003 19:57:57 +0000 (19:57 +0000)]
0.8.3.16
Clean up BUGS file
.. deleted last remaining traces of bug categories, as the
   only remain category was "NO SPECIAL CLASS"
.. bug 46 doesn't (any longer?) apply to FILE-STREAMs
.. 162 and 216 are probably the same bug
.. 272 was fixed in 0.8.3.10
.. added 282 and 283 to cover various kinds of thread lossage

20 years ago0.8.3.15:
Alexey Dejneka [Sat, 30 Aug 2003 06:44:45 +0000 (06:44 +0000)]
0.8.3.15:
        * New function MAP-COMBINATION-ARGS-AND-TYPES;
        ... use it in ASSERT-CALL-TYPE and
            %continuation-%externally-checkable-type;
            ... C-E-C-T now works for &KEYS;
        * factor out check for full-like calls;
        * maybe flush C-E-C-T in local call conversion.

20 years ago0.3.8.14:
Christophe Rhodes [Fri, 29 Aug 2003 18:07:15 +0000 (18:07 +0000)]
0.3.8.14:
Fix backtrace on non-x86 platforms:
... don't try to work out the RA, it's too complicated.
Remove last SB-SLOT-ACCESSOR-NAME, and associated (fixed) FIXME
comment.

20 years ago0.8.3.13:
Christophe Rhodes [Fri, 29 Aug 2003 17:59:08 +0000 (17:59 +0000)]
0.8.3.13:
Implement better constant multiply routines
... have a cutoff on Sparc, as measured by Raymond Toy
... use LEA more on x86, as per cited paper
... don't do anything at all (yet) on other architectures.  This
needs to be fixed before 0.8.4, at least for PPC and
Alpha

20 years ago0.8.3.12:
Alexey Dejneka [Fri, 29 Aug 2003 12:45:46 +0000 (12:45 +0000)]
0.8.3.12:
        * Fix bug in RETURN clause of LOOP
        ... make RETURN be equivalent to DO (RETURN ...)
        * cosmetic changes in constraint propagator;
        * fix EVAL-WHEN and package problem in
          compiler.impure-cload.test from the last commit.

20 years ago0.8.3.11:
Alexey Dejneka [Fri, 29 Aug 2003 08:45:38 +0000 (08:45 +0000)]
0.8.3.11:
        * New bug 282;
        * remove bug entry 233a;
        ... add a test for it.

20 years ago0.8.3.10
Daniel Barlow [Thu, 28 Aug 2003 15:32:28 +0000 (15:32 +0000)]
0.8.3.10
Restore the GC hooks.  *BEFORE-GC-HOOKS* and *AFTER-GC-HOOKS*
are run with interrupts disabled and all other threads
paused.  They should take no arguments.  This means that
finalization works again: three cheers.

Remove all trace of *GC-NOTIFY-{BEFORE,AFTER,STREAM}* : if you
want to notify the user that G is being C, use a hook.

test/threads.impure.lisp contains a new test which is known
to fail.  Don't feel bad about deleting it

Fix asdf-install to actually chase dependencies recursively
instead of just finding the first one then stopping.  Now it
seems to be able to install Araneida

Restore inadvertently chopped line to version.lisp-expr

20 years ago0.8.3.9:
Christophe Rhodes [Thu, 28 Aug 2003 12:11:48 +0000 (12:11 +0000)]
0.8.3.9:
Faster compiler! Wheeeeeeeeeeeeeeee!
... use lists rather than adjustable vectors deep in
type-intersection/union canonicalization;
... still c. 50% slower than certain other lisp compilers on the
all-important "compile sbcl" benchmark.

20 years ago0.8.3.8:
Christophe Rhodes [Thu, 28 Aug 2003 10:53:49 +0000 (10:53 +0000)]
0.8.3.8:
Fix globaldb type errors
... SXHASH can return the most positive fixnum
Don't fix globaldb potential bootstrap problem
... leave it for when we have a typesafe 64-bit lisp, able to
detect the errors

20 years ago0.8.3.7:
Christophe Rhodes [Thu, 28 Aug 2003 09:07:57 +0000 (09:07 +0000)]
0.8.3.7:
Fix effective method cacheing over method combination changes
(Andreas Fuchs sbcl-help 2003-08-27) after GM
... REINITIALIZE-INSTANCE :AROUND to remove affected methods
from the cache
Also fix cut'n'pasteo in documentation of methods

20 years ago0.8.3.6:
Alexey Dejneka [Wed, 27 Aug 2003 06:49:16 +0000 (06:49 +0000)]
0.8.3.6:
        * Fix bug 278b: remove second return value of
          VALUES-TYPE-INTERSECTION (it is not any worse than
          TYPE-INTERSECTION).

20 years ago0.8.3.5:
Christophe Rhodes [Tue, 26 Aug 2003 17:46:57 +0000 (17:46 +0000)]
0.8.3.5:
DOCUMENTATION fixes:
... make generic function documentation findable;
... systematize DOCUMENTATION support, by having one method per
specified method, so adding support for STANDARD-METHODs
and for METHOD-COMBINATIONs
... refactor :RANDOM-DOCUMENTATION :STUFF stuff into an
auxiliary pair of functions, and use them in
COMPILER-MACRO and METHOD-COMBINATION methods;
... also set documentation in
LOAD-{SHORT,LONG}-METHOD-COMBINATION
(there's still some leftover refactoring to be done, and maybe
a systematic test suite to be written...)

20 years ago0.8.3.4:
Christophe Rhodes [Tue, 26 Aug 2003 16:15:57 +0000 (16:15 +0000)]
0.8.3.4:
Slightly less bad fix for invalid-qualifiers "not an error" bug
... when we're precomputing methods, defer the error until call
time;
... document remaining badness

20 years ago0.8.3.3:
William Harold Newman [Tue, 26 Aug 2003 13:21:18 +0000 (13:21 +0000)]
0.8.3.3:
revised PARSE-BODY to eliminate bogus style-warning for
(MACROLET (...) (DECLAIM ...))
Since there are now two optional flags, use &KEY args instead
of trying to remember the position of &OPTIONAL args.
code-sharing in PROG and PROG*
'Twas passing strange passing ENV as the second argument
to PARSE-BODY in ADD-METHOD-DECLARATIONS...
new old BUGS (dunno why I discovered both on the same day)

20 years ago0.8.3.2:
Alexey Dejneka [Tue, 26 Aug 2003 08:58:30 +0000 (08:58 +0000)]
0.8.3.2:
        * SB-SIMPLE-STREAMS:
        ... implement WRITE-SEQUENCE for single channel streams;
        ... fix bug in tests, causing random test failures;
        * add declarations to SCALE-EXPONENT;
        * remove obsolete type declarations in MIX;
        * change type inference for iteration-like variables: if
          interval type is successfuly derived, ignore other inferred
          information.

20 years ago0.8.3.1
Daniel Barlow [Mon, 25 Aug 2003 21:00:00 +0000 (21:00 +0000)]
0.8.3.1

Merge stop_the_world branch: a new scheme for stopping threads
during GC, that avoids the use of ptrace and lets any of the
threads stop any of the others.  This is a summary log entry:
see branch commits for details

New C functions maybe_defer_handler and run_deferred_handler,
which encapsulate a lot of the "is it safe to run this handler
now?  no, ok, copy its siginfo somewhere safe and do it later"
cruft that's presently done ad hoc.

Stack scavenging now looks for esp in the most recent
interrupt context for each thread.  Requires that threads
save said interrupt contexts in sig_stop_for_gc_handler

Clean up some compiler warnings in gencgc.c

Lisp-level changes: approximately a reversion to old-style (or
single-threaded) GC.  Haven't actually added the gc hooks back
in yet, but now there's at least a place for them to go.

Lock around SUB-GC to remove window that may allow two threads
to attempt to collect at once.

WITHOUT-INTERRUPTS around SUB-GC to protect c-level spinlocks
used in gc_{stop,start}_the_world

(C-level spinlocks are just integers manipulated by get_spinlock(),
release_spinlock().  There's no unwind-protect or anything
involved in their use, so a thread interrupted when it's
holding one of these will continue to hold it)

Remove #if 0 from around the copying of sigmask in
        undo_fake_foreign_function_call.  Replace sizeof(sigmask_t)
        with an expression involving the value of NSIG and the rash
        assumption that sigset_t is a bitmask.

Moved get_spinlock into foo-arch.h and made it static inline.
Added release_spinlock for parity

Delete irritating message from sigcont_handler

New test cases

20 years ago0.8.3:
William Harold Newman [Mon, 25 Aug 2003 12:32:58 +0000 (12:32 +0000)]
0.8.3:
release, tagged as sbcl_0_8_3

20 years ago0.8.2.55:
Alexey Dejneka [Sat, 23 Aug 2003 04:17:55 +0000 (04:17 +0000)]
0.8.2.55:
        * New bugs.

20 years ago0.8.2.54:
Alexey Dejneka [Thu, 21 Aug 2003 16:20:20 +0000 (16:20 +0000)]
0.8.2.54:
        * New bug.

20 years ago0.8.2.53:
Christophe Rhodes [Thu, 21 Aug 2003 11:47:17 +0000 (11:47 +0000)]
0.8.2.53:
Fixed hanging-on-reader-error in Darwin (and Solaris, it turns
out):
... Here's the deal: lseek(), on "certain devices", has
"unspecified consequences"
... said devices include, empirically, /dev/stdin
... so lseek was merrily returning a success code despite
clearly being incapable of rewinding the input stream
... so in our new error-reporting for reader errors, we were
assuming because of the success value that we could
read the erroneous input into a buffer...
... whereas we were rather sitting there waiting for more input.
... So protect the rereading code with an INTERACTIVE-STREAM-P.

20 years ago0.8.2.52:
Christophe Rhodes [Thu, 21 Aug 2003 11:38:41 +0000 (11:38 +0000)]
0.8.2.52:
Partial fix for method definition protocol
... ANSI in its wisdom saith that the mere addition of a bogus
method to a generic function is not cause for signalling
an error.  Signal a warning instead, and defer the error
to when the function is called.
Factor out common testing code into a sourceable script, and
adjust the clos tests to reflect this new interpretation

20 years ago0.8.2.51:
Alexey Dejneka [Thu, 21 Aug 2003 09:18:59 +0000 (09:18 +0000)]
0.8.2.51:
        * Fixed new bug shown by CLOCC: EXPT type deriver tried to
          work with arbitrarily large exponents;
        * stylistic change: eliminate (case ... ('+ ...));
        * test case for the bug 45b;
        * stylistic change: stream tests should remove temporary files.

20 years ago0.8.2.50:
Alexey Dejneka [Wed, 20 Aug 2003 18:55:21 +0000 (18:55 +0000)]
0.8.2.50:
        * Partially enable VALUES declaration:
        ... PROCESS-DECLS does not accept continuation; instead it
            returns the asserted type as the second result;
        ... new macro: PROCESSING-DECLS, rebinds *LEXENV* and puts THE
            on the result, if needed;
        * IR1-CONVERT-LAMBDA-BODY and similar do not accept/pass the
          result continuation;
        * remove obsolete LEXENV-WEAKEND-TYPE-RESTRICTIONS.

20 years ago0.8.2.49:
Christophe Rhodes [Wed, 20 Aug 2003 14:09:44 +0000 (14:09 +0000)]
0.8.2.49:
When is a GO tag not a GO tag?
... remove stray "p" from midst of commentary :-)

20 years ago0.8.2.48:
Christophe Rhodes [Wed, 20 Aug 2003 12:28:58 +0000 (12:28 +0000)]
0.8.2.48:
IRC as a substitute for cvs diff | mail sbcl-devel
... purportedly fix the return-from-sigint problem on Darwin/PPC,
from Patrik Nordebo (KingNato)

20 years ago0.8.2.47:
Christophe Rhodes [Wed, 20 Aug 2003 11:56:54 +0000 (11:56 +0000)]
0.8.2.47:
Fix the shell suspension bug and threaded builds

20 years ago0.8.2.46:
Alexey Dejneka [Wed, 20 Aug 2003 08:25:44 +0000 (08:25 +0000)]
0.8.2.46:
        * New old bugs.

20 years ago0.8.2.45:
Christophe Rhodes [Tue, 19 Aug 2003 15:42:39 +0000 (15:42 +0000)]
0.8.2.45:
Fix READ-SEQUENCE bug (DB sbcl-devel 2003-08-19, Gerd Moellman
cmucl-imp)
... and add a test;
Fix CEILING bug (PFD sbcl-devel 2003-08-19)
... add a test, and uncomment a bunch of now-working tests
One more format string badness fix.

20 years ago0.8.2.44:
Christophe Rhodes [Tue, 19 Aug 2003 13:04:39 +0000 (13:04 +0000)]
0.8.2.44:
Mostly contrib frobs
... merge sb-grovel string handling (Andreas Fuchs sbcl-devel
2003-08-19)
... hack at sb-posix designator concept until it doesn't blow
up when given list types;
... implement opendir/readdir/closedir in sb-posix
[not yet properly: everything is done with (* T) rather
than (* DIR) and (* DIRENT), but the interface is fine];
... add a FINISH-OUTPUT to sb-rt, so that the failing tests are
printed before the backtrace, not during;
... print ALIEN-VALUEs' alien type in PRINT-OBJECT

20 years ago0.8.2.43:
Alexey Dejneka [Tue, 19 Aug 2003 09:24:36 +0000 (09:24 +0000)]
0.8.2.43:
        * New optimization policy: RECOGNIZE-SELF-CALLS;
        * on x86 DATA-VECTOR-REF/SIMPLE-BASE-STRING does not use AL
          temporary.

20 years ago0.8.2.42:
Christophe Rhodes [Mon, 18 Aug 2003 16:46:28 +0000 (16:46 +0000)]
0.8.2.42:
FORMAT string deftransforms can give spurious optimization notes
on e.g. (COMPILE NIL '(LAMBDA (X) (ERROR X))); implement
checking of constant format strings via DEFOPTIMIZER OPTIMIZER
instead.
... also add rudimentary test of warning functionality

20 years ago0.8.2.41:
Christophe Rhodes [Mon, 18 Aug 2003 11:30:17 +0000 (11:30 +0000)]
0.8.2.41:
Slightly alleviate the bit-vector user's surprise ("mummy, why
does initializing a bit-vector's elements to 1 take so long?")
... DEFTRANSFORM FILL for the easy case.

20 years ago0.8.2.40:
Christophe Rhodes [Mon, 18 Aug 2003 10:46:11 +0000 (10:46 +0000)]
0.8.2.40:
Sparc build fix I
... cross-compiler versions of ASH-RIGHT-[UN]SIGNED, to stop the
compiler from going into an endless loop during compilation
of STRING :-)
Sparc build fix II
... we don't support sigreturn via call_into_lisp on anything
but x86 yet.

20 years ago0.8.2.39:
Alexey Dejneka [Mon, 18 Aug 2003 07:53:35 +0000 (07:53 +0000)]
0.8.2.39:
        * New macro SB!INT:BINDING*, uniting LET*, M-V-BIND and AWHEN;
        * add simple inference of iteration variable type;
        * SAME-LEAF-REF-P: look through CAST chains;
        * wrap all uses of handle_rt_signal into #!+sb-thread;
        * (SB-ACLREPL): CD-CMD takes one argument, not two.

20 years ago0.8.2.38:
Alexey Dejneka [Sun, 17 Aug 2003 17:17:06 +0000 (17:17 +0000)]
0.8.2.38:
        * Try to fix bug 267 = optimization issue #7: inside
          NAMED-LAMBDA replace references to a function with the same
          name with self-references;
        * ASSERT-GLOBAL-FUNCTION-DEFINITION-TYPE: do not put type
          assertions for functions with EXPLICIT-CHECK attribute;
        ... FLOAT-RADIX does not perform explicit check;
        * implement cross-compiler versions of %DPB and %WITH-ARRAY-DATA.

20 years ago0.8.2.37
Daniel Barlow [Sun, 17 Aug 2003 15:29:34 +0000 (15:29 +0000)]
0.8.2.37
Rename return_to_lisp_function to arrange_return_to_lisp_function,
as threatened

SIG_INTERRUPT_THREAD presently only exists on Linux: add
#ifdef to avoid breaking other x86en

Darwin complains "union has no member named `sival_int'" in
handle_rt_signal.  But we're only using that in thread builds
anyway, so #ifdef it

Bug 75 (:ELEMENT-TYPE for WITH-OUTPUT-TO-STRING) was fixed in
some previous version: remove from BUGS file

Shameless autopuffery, plus some amount of transpuffery, in
CREDITS file.

Update NEWS file

tests/.cvsignore: don't tell me about threads-foreign-code.*

20 years ago0.8.2.36:
Alexey Dejneka [Sun, 17 Aug 2003 08:04:48 +0000 (08:04 +0000)]
0.8.2.36:
        * AVER was too early in the cross compiler.

20 years ago0.8.2.35
Daniel Barlow [Sun, 17 Aug 2003 02:21:52 +0000 (02:21 +0000)]
0.8.2.35
Move lines above/below LISP_FEATURE_X86 conditionals, to
remove non-x86 brokenness introduced by return-elsewhere

20 years ago0.8.2.34:
Christophe Rhodes [Sat, 16 Aug 2003 21:46:30 +0000 (21:46 +0000)]
0.8.2.34:
Merge patch from Brian Mastenbrook for better dlfoo handling
on Darwin (plus more-likely cpp options, add boilerplate)
... reindent to 4 spaces;
ASSQ patch from observation by PFD sbcl-devel 2003-08-16
... (NOT (NULL PAIR)) plus explanatory comment;
Pragmatism: since not all lisps implement arrays with NIL
specialized-array-element-type, our cross-compiler version needs
to be more robust.  Symptoms: building sbcl/ppc from openmcl loses
in cold-init; sbcl/sparc from sbcl-0.7.x hangs in cross-compiler
compilation of STRING
... since we don't need any (ARRAY NIL)s to cross-compile SBCL,
the answer to SIMPLE-ARRAY-NIL-P for constant-folding
purposes in the cross-compiler is always NIL.

20 years ago0.8.2.33
Daniel Barlow [Sat, 16 Aug 2003 20:38:40 +0000 (20:38 +0000)]
0.8.2.33
Implement INTERRUPT-THREAD, which forces another thread to
execute a function supplied by the caller.

In the process, design a mostly entirely new scheme for
calling Lisp code as a result of a handled signal: instead of
calling into Lisp directly, frob the signal context and the
stack to arrange that the Lisp is called after the signal
handler itself has returned.  This is expected to be
applicable to signal handlers generally (and will have portability
benefits), but needs them to be changed around to call it.
Presently it's used only for interrupt-thread (SIGRTMIN)
and control stack exhaustion (one branch of SIGSEGV)

In principle, all you need do to use this in other places is
call return_to_lisp_function in the signal handler, with the
context and the function object that you wish to be called.
For the x86 you also need to make sure the signal is being
handled on the alternate signal stack, otherwise you'll
overwrite your own stack frame.

20 years ago0.8.2.32:
Alexey Dejneka [Sat, 16 Aug 2003 06:48:38 +0000 (06:48 +0000)]
0.8.2.32:
        * Provide cross-compiler versions of several internal
          functions;
        * BIGNUM-LOGNOT VOP is the same as LOGNOT-MOD32.

20 years ago0.8.2.31:
Christophe Rhodes [Sat, 16 Aug 2003 01:00:20 +0000 (01:00 +0000)]
0.8.2.31:
Fix errors shown up by new ERROR/FORMAT code in sparc backend

20 years ago0.8.2.30:
Christophe Rhodes [Fri, 15 Aug 2003 18:07:07 +0000 (18:07 +0000)]
0.8.2.30:
Fix PPC (complex double-float) bug as reported on sbcl-devel
by Clemens Heitzinger 2003-08-12
... the right way, not as per CSR patch sbcl-devel, but as per
CSR words sbcl-devel;
... also fix error reporting in CERROR format DEFTRANSFORM
(oh, the irony).

20 years ago0.8.2.29:
Alexey Dejneka [Fri, 15 Aug 2003 08:21:07 +0000 (08:21 +0000)]
0.8.2.29:
        * Fix bug in ASSQ, reported by Paul Dietz;
        * FLOAT-RADIX IGNOREs its argument as was suggested by Clemens
          Heitzinger;
        * fix return type declaration for FFLOOR and friends (reported
          by Paul Dietz);
        * SB-C::DESCRIBE-COMPONENT prints blocks in IR1 component "as
          is";
        * introduced "good" (transparent) modular functions;
        ... LOGAND and LOGIOR are :GOOD;
        * on X86: transform 32BIT-LOGICAL-xxx into LOGXXX; implement
          LOGXOR-MOD32; change implementation of FAST-+-MOD32: inherit
          without changes from FAST-+/UNSIGNED=>UNSIGNED :-).

        (On X86 SB-MD5 may be implemented without 32BIT-LOGICAL-xxx
        and evil TRULY-THE.)

20 years ago0.8.2.28:
Christophe Rhodes [Thu, 14 Aug 2003 17:16:11 +0000 (17:16 +0000)]
0.8.2.28:
Extend FORMAT string checking to ERROR, CERROR and WARN (and
many internal functions too)
... correct the surprising number of bugs that this reveals;
... since one of said bugs was the *INTEXP-MAX-EXPONENT* one,
default this to NIL and make the error non-continuable.

20 years ago0.8.2.27:
Christophe Rhodes [Thu, 14 Aug 2003 14:06:25 +0000 (14:06 +0000)]
0.8.2.27:
Build fixes for asdf-install.  Has installed a module via cliki for
me, so maybe it works now.