sbcl.git
20 years ago0.8.5.42:
Alexey Dejneka [Sun, 16 Nov 2003 10:19:13 +0000 (10:19 +0000)]
0.8.5.42:
        * IR1-OPTIMIZE: whenever possible, delete all marked blocks.

20 years ago0.8.5.41:
Kevin Rosenberg [Sat, 15 Nov 2003 22:13:27 +0000 (22:13 +0000)]
0.8.5.41:
* contrib/sb-aclrepl/: Fix error with cl:inspect
double evaluating arguments. Bug reported by Christophe Rhodes
on sbcl-devel 2003-11-15.

20 years ago0.8.5.40:
Alexey Dejneka [Sat, 15 Nov 2003 18:34:34 +0000 (18:34 +0000)]
0.8.5.40:
        * Fix PFD bug MISC.172: restart IR1-OPTIMIZE-RETURN after
          assignment-convertion;
        * fix PFD bug MISC.173: in FIND-DFO-AUX skip blocks to be
          deleted.

20 years ago0.8.5.39:
Christophe Rhodes [Sat, 15 Nov 2003 16:12:54 +0000 (16:12 +0000)]
0.8.5.39:
Fix modular ASH bug on PPC

20 years ago0.8.5.38:
Christophe Rhodes [Sat, 15 Nov 2003 15:21:00 +0000 (15:21 +0000)]
0.8.5.38:
Fix PFDtest HANDLER-CASE.28
... wrap in LOCALLY

20 years ago0.8.5.37:
Alexey Dejneka [Fri, 14 Nov 2003 12:44:42 +0000 (12:44 +0000)]
0.8.5.37:
        * Fix PFD bug MISC.165: unify treating of TAIL-CALLS in
          LET-convertion.

20 years ago0.8.5.36:
Alexey Dejneka [Fri, 14 Nov 2003 08:45:50 +0000 (08:45 +0000)]
0.8.5.36:
        * Fix PFD bugs MISC.166, 167, 168: do not perform tail- and
          let-convertion, if block of lambda's BIND node is to be
          deleted.

20 years ago0.8.5.35:
Alexey Dejneka [Fri, 14 Nov 2003 04:49:06 +0000 (04:49 +0000)]
0.8.5.35:
        * Fix PFD bugs MISC.152, 153: be more accurate with deleted
          code in MAYBE-INFER-ITERATION-VAR-TYPE.

20 years ago0.8.5.34
Daniel Barlow [Thu, 13 Nov 2003 15:37:52 +0000 (15:37 +0000)]
0.8.5.34
Add *INVOKE-DEBUGGER-HOOK*, which works basically like the
ANSI *DEBUGGER-HOOK* but isn't bound to NIL in calls to
BREAK, so can be used to trap _all_ debugger entry, not just
some of it.  Useful for anyone who wants to completely remove
the debugger, or supplant it with something else.

Based on a patch from David Lichteblau, but this one only has
a single function instead of a list in the hook.

20 years ago0.8.5.33:
William Harold Newman [Tue, 11 Nov 2003 13:30:45 +0000 (13:30 +0000)]
0.8.5.33:
bumped .fasl file version number as per Tim Daly Jr.
incompatibility report on sbcl-devel 2003-11-09

20 years ago0.8.5.32:
Alexey Dejneka [Tue, 11 Nov 2003 09:09:39 +0000 (09:09 +0000)]
0.8.5.32:
        * Fix PFD bug MISC.158: X86 (xor x x) instruction does not
          work for X in memory.

20 years ago0.8.5.31:
Kevin Rosenberg [Tue, 11 Nov 2003 05:49:06 +0000 (05:49 +0000)]
0.8.5.31:
* contrib/sb-aclrepl/toplevel.lisp: Revert from lexically binding
certain state variables.

21 years ago0.8.5.30
Daniel Barlow [Mon, 10 Nov 2003 23:44:22 +0000 (23:44 +0000)]
0.8.5.30
"Documentation" update for asdf-install

Add README file for asdf itself

21 years ago0.8.5.29:
Christophe Rhodes [Mon, 10 Nov 2003 23:26:37 +0000 (23:26 +0000)]
0.8.5.29:
Completely boring housekeeping commit
... rename grovel_headers.c to grovel-headers.c, as that underscore
was the only non-logical-pathname-compliant character in
the whole of the source and objects filenames.
... delete all redundant sb!vm: prefixes throughout
src/compiler/$arch/*.lisp
... nothing interesting at all, in fact.  Builds and passes tests
on at least x86 and sparc.

21 years ago0.8.5.28:
Christophe Rhodes [Sun, 9 Nov 2003 13:35:30 +0000 (13:35 +0000)]
0.8.5.28:
Fix some loop badness (as reported by John Klein sbcl-devel
2003-11-09)
... step variable guessed initializers should be 1, not 0,
because the step type explicitly excludes 0.
... log some more loop badness in BUGS

21 years ago0.8.5.27:
Christophe Rhodes [Sat, 8 Nov 2003 21:08:13 +0000 (21:08 +0000)]
0.8.5.27:
SB-{POSIX/BSD-SOCKETS} cleanups
... make sb-bsd-sockets-tests depend on sb-posix so we can check
to see if /dev/log is actually a socket;
... test that /, not /root, is not writeable by others;
... (taking advantage of our 0.x version number) alter
SB-POSIX:S-ISFOO to use the BOOLEAN alien type, rather
than MODE-T -- the point being that the macros have no
function other than returning a boolean.  Adjust
the sb-posix manifesto too, to document this.

21 years ago0.8.5.26:
Christophe Rhodes [Sat, 8 Nov 2003 15:04:45 +0000 (15:04 +0000)]
0.8.5.26:
Record filesystem information during the build in debug information
relative to SYS, not to /home/kevin/sbcl or equivalent.
... change to core code: tiny if ugly;
... change to warm load: only to refer to files as lpns rather
than physical namestrings;
... change to vanilla-modules: tiny;
... change to asdf modules: well, erm, less tiny.  I'm not pleased
by the need to duplicate similar logic in every .asd, but
I think it's a similar symptom to the duplication of the
TEST-OP logic in many of them: the coupling between asdf
and the rest of the system is slightly wrong.

(At startup, SYS by default has translations that refer back to
the build-time values; distributors may wish to alter this for
their binaries, for instance by setting translations to
distribution-known values when dumping any final image)

21 years ago0.8.5.25:
William Harold Newman [Sat, 8 Nov 2003 01:32:02 +0000 (01:32 +0000)]
0.8.5.25:
merged Miles Egan's general SGML cleanup manual patch (from
sbcl-devel today)
deleted "!ENTITY mdash" hack (since ME's patch reminded me that
at some point I learned that DocBook itself seems to
define mdash)

21 years ago0.8.5.24:
William Harold Newman [Thu, 6 Nov 2003 23:33:11 +0000 (23:33 +0000)]
0.8.5.24:
merged CSR's well-aged patch to make X86 port stop
complaining about register class strangeness
in array checking VOPs
added #!+ conditionalization on the hack to suppress
warnings about analogous strangeness on other
ports, hoping I didn't screw up anything I can't test

21 years ago0.8.5.22:
Patrik Nordebo [Thu, 6 Nov 2003 21:50:26 +0000 (21:50 +0000)]
0.8.5.22:
gencgc cleanup:
... Replaced all (but one) literal 4096 (and 0xfff) with
PAGE_BYTES constant. I think the ones I changed were all about
page size, but I added a FIXME where I was unsure. There is
one bare 4096 left, but that's not a page size, I think.
... Removed gencgc.h, because it wasn't actually needed and
mostly duplicated stuff from gencgc-internal.h

21 years ago0.8.5.22:
William Harold Newman [Tue, 4 Nov 2003 00:40:20 +0000 (00:40 +0000)]
0.8.5.22:
archived some arcane knowledge of porting Hell^W^W^W^W^W wisdom

21 years ago0.8.5.21:
Rudi Schlatte [Mon, 3 Nov 2003 19:58:08 +0000 (19:58 +0000)]
0.8.5.21:
        * Merge David Lichteblau "simple-streams bug with non-SAP
        buffers" patch (sbcl-devel 2003-11-02)

21 years ago0.8.5.20:
Kevin Rosenberg [Mon, 3 Nov 2003 19:05:19 +0000 (19:05 +0000)]
0.8.5.20:
* contrib/sb-aclrepl/toplevel.lisp: Commit patch from David
Lictheblau to better support multiple listener processes.

21 years ago0.8.5.19:
Alexey Dejneka [Sun, 2 Nov 2003 09:17:53 +0000 (09:17 +0000)]
0.8.5.19:
        * Fix PFD bugs MISC.100, 102, 105, 107, 112;
        ... IR1-MERGE-CASTS: do not put merge asserted type
            contradicting the derived one;
        ... IR1-OPTIMIZE-COMBINATION: try terminate block after
            PROPAGATE-FUN-CHANGE;
        * FLUSH-DEAD-CODE: if the block is split under us, restart.

21 years ago0.8.5.18
Daniel Barlow [Sun, 2 Nov 2003 00:36:07 +0000 (00:36 +0000)]
0.8.5.18
Minor change to sb-bsd-sockets tests: instead of
conditionalising the AF_LOCAL client test on (not (or sunos
darwin)), just skip it unless /dev/log exists.  This make life
simpler if we're e.g. on a platform that usually has /dev/log

21 years ago0.8.5.17:
Christophe Rhodes [Thu, 30 Oct 2003 17:27:36 +0000 (17:27 +0000)]
0.8.5.17:
Possibly the least useful fix I shall ever make while working on
SBCL:

Implement ldso_stub__foo for MIPS/Linux, so that the system can
be built to link dynamically, allowing linking of foreign code
in
... many thanks to Ralf Baechle for education about the MIPS ABI
Now foreign.test.sh passes, and we build and pass tests for all
13 contribs!  Woohoo!

Is there a user in the house?

21 years ago0.8.5.16:
Christophe Rhodes [Thu, 30 Oct 2003 09:41:37 +0000 (09:41 +0000)]
0.8.5.16:
Aren't we glad we have solaris around to keep us honest?
... adjust make.sh message to let it print under real sh(1)
... adjust sb-posix tests to let them pass (one true error in
the tests, and one weird EINVAL from Solaris)

21 years ago0.8.5.15:
Christophe Rhodes [Wed, 29 Oct 2003 19:14:59 +0000 (19:14 +0000)]
0.8.5.15:
More SB-POSIX stuff
... merge patch from Zach Beane (sbcl-devel 2003-10-28) to wrap
the stat S_ISFOO macros into callable functions
... merge patch CSR sbcl-devel to detect presence of various
symbols at compile-time for conditional function
definition
... slight frobs to make these two coexist: "interface" must
depend on "alien", and these calls are NEVER-FAILS
... tests from Xach via #lisp IRC
... as yet unresolved: duplication of UNIX-DSO stuff
Summarize contrib successes at the end of make.sh
... hope no-one's trisdekaphobic :-)

21 years ago0.8.5.14:
Christophe Rhodes [Wed, 29 Oct 2003 12:54:50 +0000 (12:54 +0000)]
0.8.5.14:
Be less assertive about LRAs, since perfectly valid instructions
can have LRA widetags.  (Brian Downing sbcl-devel 2003-10-29)
... minimally-intrusive and minimally-DWIM patch
Define and use NATIVE-FILENAME for sb-posix
... also adjust the test not to run RUN-PROGRAM, since we
have problems with that :-/

21 years ago0.8.5.13:
Patrik Nordebo [Wed, 29 Oct 2003 06:38:40 +0000 (06:38 +0000)]
0.8.5.13:
        G5/PPC970 fix:
... Replace all uses of the mcrxr instruction with the mtxer
instruction, because mcrxr is reallly slooow on the PPC970 and
we didn't actually want it for anything but clearing XER.

21 years ago0.8.5.12
Daniel Barlow [Wed, 29 Oct 2003 03:37:22 +0000 (03:37 +0000)]
0.8.5.12
SB-POSIX now converts pathnames to Unix filenames using
SB-INT:UNIX-NAMESTRING, instead of to CL namestrings (which
are not the same thing, especially when wildchard characters
are involved) with NAMESTRING

Bug report and fix both courtesy of Zach Beane.  Thanks.

21 years ago0.8.5.11:
Christophe Rhodes [Mon, 27 Oct 2003 22:16:58 +0000 (22:16 +0000)]
0.8.5.11:
Modifications for which I could make a plausible case on the
basis of being 64-bit SAP implementations for HPPA and MIPS
... testing?  What's that?  It compiles, ship it!

21 years ago0.8.5.10:
Christophe Rhodes [Mon, 27 Oct 2003 11:32:12 +0000 (11:32 +0000)]
0.8.5.10:
PPC support for 64-bit SAP references

21 years ago0.8.5.9:
Christophe Rhodes [Mon, 27 Oct 2003 09:35:17 +0000 (09:35 +0000)]
0.8.5.9:
SPARC support for 64-bit SAPs, needed for sb-posix

21 years ago0.8.5.8:
Alexey Dejneka [Sun, 26 Oct 2003 15:34:38 +0000 (15:34 +0000)]
0.8.5.8:
        * Fix bugs MISC.101 and MISC.103 found by Paul Dietz:
          FLUSH-DEST: set BLOCK-TYPE-CHECK attribute for USEs' blocks.

21 years ago0.8.5.7:
Alexey Dejneka [Sun, 26 Oct 2003 14:15:06 +0000 (14:15 +0000)]
0.8.5.7:
        * Fix bug MISC.99 found by Paul Dietz: on X86 in
          FAST-ASH-C/UNSIGNED=>UNSIGNED VOP add case (>= shift 32)
          (the code is shared with -MOD32 version, where "result type
          constraint" does not guarantee overflow absence).

21 years ago0.8.5.6:
Christophe Rhodes [Sun, 26 Oct 2003 13:14:09 +0000 (13:14 +0000)]
0.8.5.6:
Fix for LOGAND OPTIMIZER and 0s
... use UNSIGNED-BYTE*

21 years ago0.8.5.5:
Alexey Dejneka [Sun, 26 Oct 2003 11:36:24 +0000 (11:36 +0000)]
0.8.5.5:
        * Fix bug reported by Brian Downing: do not perform
          MV-LET-convertion, if the last optional entry has
          references.
        ... new consistency condition: function in a local
            mv-combination must be of kind MV-LET.

21 years ago0.8.5.5
Daniel Barlow [Sun, 26 Oct 2003 04:04:28 +0000 (04:04 +0000)]
0.8.5.5
BUILD_ROOT

21 years ago0.8.5.3:
Christophe Rhodes [Sat, 25 Oct 2003 21:40:48 +0000 (21:40 +0000)]
0.8.5.3:
CLISP minor issues:
... fix float-related bug: since CLISP doesn't support
denormalized single-floats, we need to construct
LEAST-POSITIVE-SHORT-FLOAT explicitly
... we need to perform a similar trick for BOOLE as we already
do for BYTE.  Rewrite the horrible package hackery to be
slightly more robust, in mitigation for the perpetuation
of this horror.

21 years ago0.8.5.2:
Christophe Rhodes [Sat, 25 Oct 2003 21:34:35 +0000 (21:34 +0000)]
0.8.5.2:
Large increase in entropy, only mitigated by the fact that we
cover more of POSIX and I've added a test suite...
... make SB-GROVEL accessors not cons quite so much while
looking for the address of the thing they're referencing
... add whole bundle of new functions in SB-POSIX...
... which necessitates SAP-REF-64 and friends, which probably
work everywhere except MIPS
... declaim *GC-INHIBIT* as a fixnum, because if more than 2^29
threads are inhibiting gc we probably have more problems
... beginnings of a test suite for SB-POSIX, which incidentally
shows up various problems with using it (see FIXME
comments dotted around)
... please feel free to fix any and all of the issues marked;
I'm by no means claiming ownership of this :-)

21 years ago0.8.5.1
Daniel Barlow [Sat, 25 Oct 2003 20:56:01 +0000 (20:56 +0000)]
0.8.5.1
$PREFIX/share/man/man1, not $PREFIX/man/man1

21 years ago0.8.5:
William Harold Newman [Sat, 25 Oct 2003 17:14:09 +0000 (17:14 +0000)]
0.8.5:
release, mostly tagged as sbcl_0_8_5
(I thoughtlessly did "cvs tag" before "cvs commit", so I
think the old NEWS and version.lisp-expr files were
probably tagged, not the new ones.)

21 years ago0.8.4.40
Daniel Barlow [Fri, 24 Oct 2003 10:23:55 +0000 (10:23 +0000)]
0.8.4.40
Removed debugging message about unexpectedly enabled signals.
These days we're older and wiser and expect that stuff to
happen

contrib/experimental-thread.patch, as the name suggests, is
a patch that may help thread stability problems, but hasn't
been sufficiently well tested to get merged into SBCL proper
this late int he release cycle

21 years ago0.8.4.39:
Christophe Rhodes [Wed, 22 Oct 2003 16:27:18 +0000 (16:27 +0000)]
0.8.4.39:
CLISP build "fixes"
... don't emit structure-sharing code from macros
(fixes "SB-IMPL::|,| does not name a function" clisp
error)
... rewrite bad LOOP as per TFBurdick sbcl-devel 2003-10

I say `"fixes"' because new sbcl code has exposed some
clisp bugs, so the resulting codebase doesn't build from
clisp-2.31; however, I have patched my clisp and it works to the
extent that the resultant sbcl binary only fails one test.

21 years ago0.8.4.38:
Christophe Rhodes [Wed, 22 Oct 2003 11:30:19 +0000 (11:30 +0000)]
0.8.4.38:
Solaris fixes (from Nikodemus Siivola sbcl-devel 2003-10-22)
... sh(1) apparently doesn't like $(foo).  Make it `foo`.
... allow building from cmucl/sparc, by suppressing underflow
traps
... /dev/random doesn't exist.  /dev/zero better had, though

21 years ago0.8.4.37:
Christophe Rhodes [Mon, 20 Oct 2003 15:29:20 +0000 (15:29 +0000)]
0.8.4.37:
Fix bug 46k: READ-BYTE on STRING-INPUT-STREAMs
... add a test
... some other BUGS filtrage (BIT-VECTOR is required to be
disjoint from SIMPLE-VECTOR; other fixed bugs)

21 years ago0.8.4.36:
Christophe Rhodes [Mon, 20 Oct 2003 13:31:06 +0000 (13:31 +0000)]
0.8.4.36:
Fix bug 213a
... CONS-TYPE-LENGTH-INFO to walk CONS-TYPE lists
... delete the neat but ultimately flawed (CONS NIL T) test
and use a proper test instead
... test suite additions.
Add idea from Michael Hudson (sbcl-devel 2003-08-26) to exit
early from Darwin compilations when the stack size
limit is too small.

21 years ago(logically part of 0.8.4.35 commit, but forgot to cvs add)
Christophe Rhodes [Sun, 19 Oct 2003 19:10:14 +0000 (19:10 +0000)]
(logically part of 0.8.4.35 commit, but forgot to cvs add)

21 years ago0.8.4.35:
Christophe Rhodes [Sun, 19 Oct 2003 19:09:11 +0000 (19:09 +0000)]
0.8.4.35:
One last little PCL frob
... when declaring defgenerics, don't foolishly assume that all
extended function names are of the form (SETF ..)
... now internal PCL generic functions can have lambda lists
... and that's all of the ones at startup, so let's write an
internalsish test to ensure that it stays that way

21 years ago0.8.4.34:
Christophe Rhodes [Sun, 19 Oct 2003 18:08:07 +0000 (18:08 +0000)]
0.8.4.34:
Make MODULE-PROVIDE-CONTRIB obey the protocol
... hacky solution as per CSR sbcl-devel 2003-10-18

21 years ago0.8.4.33:
Andreas Fuchs [Sun, 19 Oct 2003 17:52:13 +0000 (17:52 +0000)]
0.8.4.33:
Add a check for working CONSTANTLY in OpenMCL (some CVS versions
throw an error)

21 years ago0.8.4.32
Daniel Barlow [Sat, 18 Oct 2003 17:17:43 +0000 (17:17 +0000)]
0.8.4.32
More for SB-INTROSPECT, shamelessly inspired by Helmut
Eller's SLIME code for CMUCL.

FIND-FUNCTION-CALLERS, FIND-FUNCTION-CALLEES search in CODE
objects for FDEFN references and return functions.  Users of
the former interface are probably advised to cache the
answers, or to accept that it's presently rather slow.

21 years ago0.8.4.31:
Christophe Rhodes [Sat, 18 Oct 2003 12:55:41 +0000 (12:55 +0000)]
0.8.4.31:
Minor PCL fixette
... when defining early generic functions in the bootstrap
process, clobber the lambda list if the gf has already
been created (e.g. NO-APPLICABLE-METHOD) by an early
DEFMETHOD.

21 years ago0.8.4.30:
Christophe Rhodes [Sat, 18 Oct 2003 10:14:52 +0000 (10:14 +0000)]
0.8.4.30:
Be more careful over automatically generated generic function
lambda lists
... when generating PCL-internal GFs, pass :LAMBDA-LIST to
ENSURE-GENERIC-FUNCTION
... when generating accessor GFs, pass :LAMBDA-LIST if the
function is not already created (where you want to
preserve the user's lambda list instead)
... tests for required behaviour
Adjust INVALID-FASL patch slightly
... comment in package-data-list.lisp-expr
... remove unneccessary sb!ext:: prefixes

21 years ago0.8.4.29:
Andreas Fuchs [Fri, 17 Oct 2003 16:16:02 +0000 (16:16 +0000)]
0.8.4.29:
LOOP fixups - whee, I love digging around in code from 1986

* make SB-LOOP::LOOP-SEQUENCER no longer choke on NIL
  as a name for for-as-arithmetic counters
* also make it throw a PROGRAM-ERROR when it encounters
  a list as a counter variable.

21 years ago0.8.4.28:
Andreas Fuchs [Fri, 17 Oct 2003 15:44:22 +0000 (15:44 +0000)]
0.8.4.28:
ASDF users, rejoice!
* Add a condition SB-EXT:INVALID-FASL (subtype ERROR)
* Make SB-FASL::CHECK-FASL-HEADER raise conditions that are subtype
  SB-EXT:INVALID-FASL on the appropriate errors (or the other way
  around, I forget)
* Make SB-FASL::INTERNAL-LOAD also raise a condition if the FASL
  header is broken.

21 years ago0.8.4.27:
Christophe Rhodes [Fri, 17 Oct 2003 14:27:44 +0000 (14:27 +0000)]
0.8.4.27:
OK, here's the deal.
... *MODULE-PROVIDER-FUNCTIONS* no longer call PROVIDE.  It's
now the job of user code to do that (as it probably
should always have been.
... OK, so as a result, our one-file contribs now need to
PROVIDE themselves.  Make it so.
... fix asdf-install/asdf autorequiration; an installed sbcl
can now require asdf-install (as well as all the other
asdfized contribs) as the first command in a clean core
... update contrib/{README,STANDARDS} to match what we currently
do.

21 years ago0.8.4.26
Daniel Barlow [Thu, 16 Oct 2003 12:14:33 +0000 (12:14 +0000)]
0.8.4.26
Innie?  Outie?

Take the first debug-fun from the fun-map vector in debug-info
instead of looking for one with a matching name, which may not
exist.  We only want it for the top-level form number anyway

compiler/debug-dump.lisp; write the tlf number at all debug
quality levels.  0 would take up just as much space as n does
anyway

21 years ago0.8.4.25
Daniel Barlow [Thu, 16 Oct 2003 12:03:32 +0000 (12:03 +0000)]
0.8.4.25
Update text files in contrib/ directory

21 years ago0.8.4.24:
Christophe Rhodes [Thu, 16 Oct 2003 09:34:55 +0000 (09:34 +0000)]
0.8.4.24:
Since it's rapidly becoming an FAQ
... additional magic in asdf-module.mk to make synthetic fasls
allowing REQUIRE on an asdf module to work without
a loaded ASDF.
... does not work for the ASDF-INSTALL contrib, because REQUIRE
goes for the file named "asdf-install" rather than
"asdf-install.fasl" in preference.  Probably want to fix
REQUIRE for that, but that's pending the other REQUIRE
issues

21 years ago0.8.4.23:
Christophe Rhodes [Wed, 15 Oct 2003 16:28:14 +0000 (16:28 +0000)]
0.8.4.23:
Fix for bug 191c (and some of PFD's tests)
... do proper keyword argument checking in the effective method
... not the cleanest fix in the world (note especially
the use of PROGN as an optimization inhibitor)
... I'm not telling you how long it took me to find the
NCONC -> APPEND bug in fngen.lisp

21 years ago0.8.4.22:
Alexey Dejneka [Tue, 14 Oct 2003 07:31:04 +0000 (07:31 +0000)]
0.8.4.22:
        * Fix problem reported by salex on #lisp: SLOT-VALUE was not
          known to return exactly one value.

21 years ago0.8.4.21:
Christophe Rhodes [Mon, 13 Oct 2003 11:57:54 +0000 (11:57 +0000)]
0.8.4.21:
A couple of filesystem-related fixes from Milan Zamazal
... :IF-EXISTS OPEN behaviour corrected
... don't error if a file is deleted from under us in DIRECTORY

21 years ago0.8.4.20
Daniel Barlow [Sat, 11 Oct 2003 16:44:01 +0000 (16:44 +0000)]
0.8.4.20
Is that lint?

DEFINITION-SOURCE now has both FORM-PATH (a la CMUCL source
path, renamed because "source-path" is just too similar to
"source-pathname") and CHARACTER-OFFSET accessors.

DEFINITION-SOURCE now works to some extent on struct accessors
and predicates.  (It gets the pathname right, but I can't find
anywhere to get a within-file offset)

Commentary and stuff.

21 years ago0.8.4.20
Daniel Barlow [Sat, 11 Oct 2003 16:22:55 +0000 (16:22 +0000)]
0.8.4.20
Is that lint?

DEFINITION-SOURCE now has both FORM-PATH (a la CMUCL source
path, renamed because "source-path" is just too similar to
"source-pathname") and CHARACTER-OFFSET accessors.

DEFINITION-SOURCE now works to some extent on struct accessors
and predicates.  (It gets the pathname right, but I can't find
anywhere to get a within-file offset)

Commentary and stuff.

21 years ago0.8.4.19:
William Harold Newman [Fri, 10 Oct 2003 17:25:24 +0000 (17:25 +0000)]
0.8.4.19:
Clean more cleanly:
...Delete more doc/html/ stuff.
...also contrib/sb-bsd-sockets/alien.so

21 years ago0.8.4.18:
Christophe Rhodes [Fri, 10 Oct 2003 09:14:33 +0000 (09:14 +0000)]
0.8.4.18:
Fix DOCUMENTATION bug reported by dan_b on #lisp
... set documentation slot of braid classes to NIL

21 years ago0.8.4.17:
Alexey Dejneka [Fri, 10 Oct 2003 07:33:32 +0000 (07:33 +0000)]
0.8.4.17:
        * Remove CLOSURE-FUN-HEADER-WIDETAG; preserve its number for
          some time in order to keep FASL compatibility.

21 years ago0.8.4.16
Daniel Barlow [Fri, 10 Oct 2003 04:05:00 +0000 (04:05 +0000)]
0.8.4.16
More navel-gazing ...

FIND-DEFINITION-SOURCE takes a thing and returns the source
pathname and location at which it was defined.  Currently
works for only a small number of things (simple functions
and methods of gfs) and returns the location as the number
of source forms from the start of the file.  Suspect that
a character offset would be a better bet.

Poor pretence for a test case added as well.  So far no
framework to automate same.

21 years ago0.8.4.15:
Alexey Dejneka [Thu, 9 Oct 2003 19:55:08 +0000 (19:55 +0000)]
0.8.4.15:
        * Change modularization of ASH
          ... add per-function cutter;
          ... s/ash-left-constant-modxx/ash-left-modxx/;
          ... put DEFKNOWN and modular function optimizer for
              ASH-LEFT-MODxx to src/compiler/generic/sm-tran.lisp;
          ... compile src/compiler/generic/vm-tran.lisp before
              src/compiler/target/arith.lisp (in fact, immediately
              after src/compiler/srctran.lisp);
        * strength reducer for * wraps LOGAND around the whole form.

21 years ago0.8.4.14:
Christophe Rhodes [Thu, 9 Oct 2003 15:47:16 +0000 (15:47 +0000)]
0.8.4.14:
Fix suboptimality reported by piso on #lisp
... catch bogus types like (fixnum 10) before they get too far
in the type system
... doesn't work for logically-built-in-but-made-by-PCL types
(yet)
Comment out newly-broken assertion that constant multiplies
don't produce compiler-notes
... if that's all that broke, count your lucky stars :-)

21 years ago0.8.4.13
Daniel Barlow [Thu, 9 Oct 2003 13:50:34 +0000 (13:50 +0000)]
0.8.4.13
 Added sb-introspect contrib to SBCL.  Mostly for
 experimentation at this stage: do not use this stuff in
 client code unless you are willing to revisit it later, and
 please do say if it does things differently than you wanted.

21 years ago0.8.4.12:
Christophe Rhodes [Thu, 9 Oct 2003 11:05:11 +0000 (11:05 +0000)]
0.8.4.12:
        I'm not proud of this.

        HEALTH WARNING: this may not work.  It does for me, on Linux/PPC.
If your sourceforge-fu is strong, please try it.
        HEALTH WARNING: this is ugly as sin.  Unexported symbols, special
                assumptions, KLUDGEs thrown in with gay abandon.

        In partial mitigation, it does fix a bug :-)

        Fix for lying-to-the-compiler bug in
                UB32-STRENGTH-REDUCE-CONSTANT-MULTIPLY
        ... turn TRULY-THEs into suitable LOGANDs
                (inefficient in compile-time space; we only need one
                LOGAND wrapping the resulting form)
        ... likewise in x86 OPTIMIZE-MULTIPLY
                (even less efficient: constant mask is first :-)
        but that would be slow at runtime if we just left it there, so
        ... add - as a modular function (that was easy)
        ... add preliminary support for ASH as a modular function
                (for constant right shifts):
        ... delete ASH-RIGHT-[UN]SIGNED from the sparc backend
                (will be restored eventually, fear not, probably more
cross-platformly)
        ... hack in special knowledge about ASH into CUT-TO-WIDTH
        ... ensure that all backends have a suitable VOP for translation
                of new ASH function
        ... (alpha version is 64bit, oh yes)
        ... don't forget out-of-line version (for xc also!)
                (aside: might we not need out-of-line versions of
                other modular functions in the xc?)

21 years ago0.8.4.11:
Alexey Dejneka [Thu, 9 Oct 2003 06:41:51 +0000 (06:41 +0000)]
0.8.4.11:
        * Fix bug found by WHN and Paul Dietz: do not replace optional
          dispatch with an entry point in a block to be deleted.

21 years ago0.8.4.10
Daniel Barlow [Tue, 7 Oct 2003 21:41:26 +0000 (21:41 +0000)]
0.8.4.10
"brown paper bag" bug fix: initialise the thread->state slot
when it's created, to fix the most obvious threading problem

Search order for sbcl.core and sbclrc simplified.

Manual page edits: updates for contrib/, threading, platforms,
new sbcl.core search order, etc

Make "debugger invoked" message print thread id
asdf-install contrib: new UNINSTALL function deletes a
package's files.

New installation variable $(BUILD_ROOT) for use by package
installers that want to install into a fake root directory

21 years ago0.8.4.9:
Christophe Rhodes [Tue, 7 Oct 2003 10:23:30 +0000 (10:23 +0000)]
0.8.4.9:
Fix bug in CONS types/SUBTYPEP
... actually a bug in the CONS :SIMPLE-INTERSECTION2 type
method, which wasn't doing enough work when one of the
types produced a useful intersection and the other
not.

21 years ago0.8.4.8
Daniel Barlow [Mon, 6 Oct 2003 16:48:38 +0000 (16:48 +0000)]
0.8.4.8
More thread fixes: now passes the cl-ppcre thread test

... all_threads_lock needed to be declared volatile

... new 'state' field in struct thread, to avoid race where
the head of the all_threads list is reaped during stop_for_gc

Removed "waitpid : child %d %x exited \n" message (rather,
conditionalised it on show_thread_exit, which is default 0

Remove unexplained (setsigmask 0) call in the repl, replaced
with a call to warn_when_signals_masked so we can find out
what it was for anyway.

Default repl calls (get-foreground) - this is a unithread nop

21 years ago0.8.4.7:
Christophe Rhodes [Fri, 3 Oct 2003 17:39:30 +0000 (17:39 +0000)]
0.8.4.7:
(Not Linux) build fix
... move reference to SIG_DEQUEUE into #ifdef LISP_FEATURE_SB_THREAD
Fix bug in backquote pretty-printer
... now takes care to disambiguate ,.foo and , .foo

21 years ago0.8.4.5:
Christophe Rhodes [Fri, 3 Oct 2003 12:19:59 +0000 (12:19 +0000)]
0.8.4.5:
Make simple-streams work on alpha
... really ensure the various ffi_foo_t types for wrapped_stat
are 32-bit everywhere
... update the lisp version of the struct definition to believe
this, too (UNSIGNED-INT, not UNSIGNED-LONG)
... also bugfix: MOST-POSITIVE-FIXNUM is an upper exclusive bound
... stray arch_os_get_current_thread() fix

21 years ago0.8.4.5:
Christophe Rhodes [Fri, 3 Oct 2003 10:59:34 +0000 (10:59 +0000)]
0.8.4.5:
PPC build fix (kludge)
... use offsetof() to find where the glibc maintainers have put
the uc_mcontext slot today, and delegate to appropriate
source code
non-x86/linux build fix
... undefine arch_os_get_current_thread() from individual
architecture header files
Everywhere clean.sh fix
... only include src/runtime/Config in tools-for-build/Makefile
if it exists.  Now clean.sh works on a clean tree.

21 years ago0.8.4.4:
Christophe Rhodes [Fri, 3 Oct 2003 10:20:31 +0000 (10:20 +0000)]
0.8.4.4:
Fix bignum/bignum ASH bug (PFD sbcl-devel 2003-09-22)
... one-liner fix, yum yum
Add SIGNUM derive-type optimizer
... not strictly necessary any more as we now ignore errors when
deriving types, but since I wrote it, why not?

21 years ago0.8.4.3
Daniel Barlow [Fri, 3 Oct 2003 03:23:11 +0000 (03:23 +0000)]
0.8.4.3
Inline arch_os_get_current_thread.  This means putting it in
thread.h, which may be considered a little silly.  When >1
arch/os combination supports threading, maybe we need a
late-target-arch-os.h file or similar.  In the meantime I'm
not going to turn the build upside down right now.

21 years ago0.8.4.2:
Alexey Dejneka [Fri, 3 Oct 2003 02:51:56 +0000 (02:51 +0000)]
0.8.4.2:
        * Changes in type checking:
        ... test for NIL has zero cost;
        ... add NULL to types of optional arguments (fix bug 261);
        ... change implementation of "external type check":
            ... new kind of CAST-TYPE-CHECK;
            ... detect blocks of externally checkable CASTs by
                backward walking of a component;
            ... merge unsafe CASTs in IR1-FINALIZE ( bug 282);
            ... consider known call of a function without applicable
                :FAST-SAFE templates to be full;
        * print CTRAN numbers in component dumps;
        * fix bug 214, also reported by rydis on #lisp: in
          NOTE-REJECTED-TEMPLATES ignore :FAST-SAFE templates for
          :SAFE policy;
        * DO-NODE-BACKWARDS: stop when faced with a CTRAN with no use
          (bug reported by Paul Dietz);
        * TWO-ARG-DERIVE-TYPE: when deriving type for constant
          arguments, if the function signals an error return type NIL
          (bug reported by Paul Dietz);
        * fix TRUNCATE optimizer for (+ -) arguments (bugs 293, 294
          reported by Paul Dietz);
        * tests/compiler.impure-cload.lisp: switch to CL-USER package
          before deleting temporal one.

21 years ago0.8.4.1
Daniel Barlow [Thu, 2 Oct 2003 23:13:08 +0000 (23:13 +0000)]
0.8.4.1
Merge most of atropos-branch: miscellaneous (mostly threading)
fixes that were probably a little too risky for late in 0.8.4
development.

        doc/ - fix up some of the sgml errors that sourceforge keeps
        mailing me about

        New function release-spinlock that only changes the lock value
        if we owned the spinlock, so good for unwind-protect cleanups
        when lock acquisition failed

        get-spinlock release-spinlock current-thread-id could all win
        from being inlinable

        Use a RT signal (SIG_DEQUEUE) for resuming threads that were
        on queues, instead of having SIGCONT do both this and the
        resume-after-gc task.

        Scattered commentary describing the state of the signal mask
        in various interesting places

        In gencgc alloc, only install a deferred handler for GC if
        there was no previous handler for anything else.  This fixes
        a longstanding bug where the GC thread would eat all cpu while
        waiting indefinitely for othr threads to stop.

        Add SIG_STOP_FOR_GC to the blockable list

        interrupt_maybe_gc_int: enable signals before calling SUB-GC,
        or the locking that sub-gc does is going to interact badly.

        Minor rearrangement to parent thread to stop it having to wake
        up on every GC

        Add grovel_headers line for SIG-DEQUEUE.  OAOOM alert...

21 years ago0.8.4:
William Harold Newman [Thu, 2 Oct 2003 19:04:22 +0000 (19:04 +0000)]
0.8.4:
release, tagged as sbcl_0_8_4

21 years ago0.8.3.95
Daniel Barlow [Mon, 29 Sep 2003 15:35:30 +0000 (15:35 +0000)]
0.8.3.95
Minimal fix to compile on Linux 2.6 and recent FreeBSD:
disable running of pre-gc hooks
move running of post-gc hooks later, so it is done after
 other threads start running aagin, outside the GC lock

21 years ago0.8.3.94:
Christophe Rhodes [Fri, 26 Sep 2003 17:19:13 +0000 (17:19 +0000)]
0.8.3.94:
Compiler fixes (touching only files in the alpha backend)
... the assembly routine for (signed-byte 32) [sic] truncate did
in fact work only for signed-byte 32 quantities, but was
being called on signed-byte 64 quantities.  Fix it.
... the translators for ASH were broken in amusing ways: some
led to internal compiler errors when fed out-of-range
numbers; more insidiously, others allowed temporaries
to be overwritten in some cases.  Fix them.
... lastly but not leastly, the %LI code to load an immediate
was wrong in a very small proportion of cases.  After
much scribbling, deduce why and fix it.
... test cases to go with all of the above.

21 years ago0.8.3.93
Rudi Schlatte [Thu, 25 Sep 2003 12:12:10 +0000 (12:12 +0000)]
0.8.3.93
        Make double-channel simple streams work
        ... conditionalize flush-buffer etc. for code shared between
            single-channel and double-channel simple streams
        (Thanks to David Lichteblau for the reports)

21 years ago0.8.3.92:
Christophe Rhodes [Thu, 25 Sep 2003 09:40:55 +0000 (09:40 +0000)]
0.8.3.92:
contrib/ updates for Solaris^WSunOS, as per Vincent Arksteijn
sbcl-devel 2003-09-25
... conditionalize distrust-length on SUNOS feature, which exists,
as opposed to SOLARIS which doesn't
... make def-to-lisp emit CL:NIL, not just NIL.
... try to figure out what the solaris clause meant in
bsd-sockets/name-service.lisp

21 years ago0.8.3.91:
Alexey Dejneka [Thu, 25 Sep 2003 05:17:23 +0000 (05:17 +0000)]
0.8.3.91:
        * Fix bug reported by Paul F. Dietz 2003-09-24 "NIL is not of
          type LVAR": use NODE-DEST in MAYBE-CONVERT-TO-ASSIGNMENT.

21 years ago0.8.3.90:
Christophe Rhodes [Wed, 24 Sep 2003 11:06:27 +0000 (11:06 +0000)]
0.8.3.90:
Alpha build fix
... write a slightly more general PREPARE-ARGUMENT function for
modular arithmetic;
... as discussed on #lisp IRC 2003-09-24, post-0.8.4 we can optimize
common cases on platforms where register width and
bignum-element-width are the same.

21 years ago0.8.3.89:
Christophe Rhodes [Tue, 23 Sep 2003 14:50:16 +0000 (14:50 +0000)]
0.8.3.89:
Treatment of --load
... half fix the problems.  Put LOAD into a multiple escape, so
that changes to the readtable don't break the
command-line option;
... log behaviour in the presence of #\" and #\* as a bug.

21 years ago0.8.3.88:
Alexey Dejneka [Tue, 23 Sep 2003 06:51:39 +0000 (06:51 +0000)]
0.8.3.88:
        * Fix bug reported by Paul Dietz 2003-09-22: do not perform
          modular function coversion in deleted blocks.

21 years ago0.8.3.87
Daniel Barlow [Mon, 22 Sep 2003 23:01:13 +0000 (23:01 +0000)]
0.8.3.87
After vast effort (mostly Christophe's) we have a fix for the
hangs in multithreaded CLX.  Under some circumstances we could
be trying to scavenge one thread's stack using the stack
pointer from another: needless to say, this is not too effective.

When sleeping on a queue, loop around sigwaitinfo restarting
it until it stops returning EINTR

21 years ago0.8.3.86:
Alexey Dejneka [Mon, 22 Sep 2003 14:12:00 +0000 (14:12 +0000)]
0.8.3.86:
        * Fix transformers for </>/<=/>=:
        ... when swap arguments, change function name "<" <-> ">";
        ... do not check whether an interval is a constant LVAR;
        * add type declaration in CONSTANT-LVAR-P.

21 years ago0.8.3.85:
Rudi Schlatte [Sun, 21 Sep 2003 20:01:30 +0000 (20:01 +0000)]
0.8.3.85:

        * Merged patch "speeding up simple-stream creation" from David
        Lichteblau (sbcl-devel Sep 20, 2003)

        * Conditionalize comments in sb-posix constants definition on
        sb-doc

21 years ago0.8.3.84:
Alexey Dejneka [Sun, 21 Sep 2003 09:58:07 +0000 (09:58 +0000)]
0.8.3.84:
        * fix bug reported by Nicodemus Siivola:
        ... FIND-RESULT-TYPE: ignore uses in deleted blocks/functions;
        ... DELETE-LAMBDA: work with :OPTIONAL;
        * DELETE-BLOCK: when deleting ENTRY, delete it from
          LAMBDA-ENTRIES and delete all its EXITs.
        * add DERIVE-TYPE optimizer for ISQRT (thanks to Robert
          E. Brown).

21 years agofix errant #\! from debugging code
Kevin Rosenberg [Sun, 21 Sep 2003 01:43:35 +0000 (01:43 +0000)]
fix errant #\! from debugging code

21 years ago0.8.3.83:
Kevin Rosenberg [Sun, 21 Sep 2003 01:29:59 +0000 (01:29 +0000)]
0.8.3.83:
    * Compilation changes for contrib/sb-bsd-sockets for SuSE AMD64
    Compilation is now successful on this platform, but two test cases
    currently fail.