sbcl.git
21 years ago0.7.13.35:
Christophe Rhodes [Mon, 24 Mar 2003 09:18:08 +0000 (09:18 +0000)]
0.7.13.35:
Laster minute contrib fixes
... use LENGTH not STRING-LESSP in SB-ACLREPL (from KMR)
... add newline at end of defpackage.lisp
(plus one new BUG)

21 years ago0.7.13.34
Daniel Barlow [Sun, 23 Mar 2003 14:21:46 +0000 (14:21 +0000)]
0.7.13.34
Runtime build fixes for Alpha, PPC

21 years ago0.7.13.33
Daniel Barlow [Sun, 23 Mar 2003 13:48:28 +0000 (13:48 +0000)]
0.7.13.33
Last-minute contrib fixes ...

patch from KMR to fix history numbers in sb-aclrepl
... and cosmetic patch to sb-aclrepl so that :help command says
    how to use the history list anyway

sb-bsd-sockets gets support for the experimental asdf hyperdoc
protocol

21 years ago0.7.13.32
Daniel Barlow [Wed, 19 Mar 2003 13:15:44 +0000 (13:15 +0000)]
0.7.13.32
Update contrib/asdf to newer upstream version
... fix loopiness
... add test-op definitions
... quote evaluation of *central-registry* components to
       make it more useful when a core is dumped containing asdf

Rewrite asdf-using contrib makefiles to use common asdf-module.mk
... and their .asd files to define test-op

21 years ago0.7.13.31:
Christophe Rhodes [Wed, 19 Mar 2003 09:31:56 +0000 (09:31 +0000)]
0.7.13.31:
Minor build fix for Solaris
... All diffs are not GNU, sadly :-(

21 years ago0.7.13.30:
Christophe Rhodes [Mon, 17 Mar 2003 17:44:36 +0000 (17:44 +0000)]
0.7.13.30:
Install faster EQUAL on simple-bit-vectors
... word-at-a-time, not bit-at-a-time
Frobs for correctness
... much like one that was solved for 0.7.3.5, we must be
careful about identifying the last word of the bit vector,
particularly for bit-vectors whose length is divisible by
         32^Wn-word-bits.  Less critical in this case, but we could
still be reading into random space, even if not writing.
Frobs for yet more speed
... allow CMUCL to optimize ASH, as long as none of the values
are in the danger zone.  Also reported the bug to CMUCL
people, and it is now fixed, so when all traces of 18d
are removed from this earth, the conditional in
ASH-DERIVE-TYPE-AUX can go too.

21 years ago0.7.13.29
Daniel Barlow [Sun, 16 Mar 2003 22:59:18 +0000 (22:59 +0000)]
0.7.13.29
Update contrib/asdf to newer upstream version

Add a 'make up' target to its Makefile so that this can be an
automatic operation in future

21 years ago0.7.13.28:
Christophe Rhodes [Sat, 15 Mar 2003 19:01:30 +0000 (19:01 +0000)]
0.7.13.28:
Merge SXHASH improvements
... distribute (SXHASH <fixnum>) a little more widely over the
available space;
... make (SXHASH <bit-vector>) consider rather more than just
the first four bits.
Miscellaneous cleanups
... don't delete contrib's html documentation
... make vanilla modules depend on the (newly-built) sbcl.core
... some cleanups in snapshot/SB-SHOW logic
... quit from the low-level debugger now exits the process with
an error code (because, um, even getting to ldb is a
pretty serious error)

21 years ago0.7.13.27:
Christophe Rhodes [Fri, 14 Mar 2003 16:09:39 +0000 (16:09 +0000)]
0.7.13.27:
Fix typo in new BOUNDP optimization in PCL (thanks to Tony
Martinez for spotting it)
... can't find a test case :-/

21 years ago0.7.13.26:
Alexey Dejneka [Thu, 13 Mar 2003 10:38:07 +0000 (10:38 +0000)]
0.7.13.26:
        SBCL does not ignore type declarations for special
        variables. (reported by rif on c.l.l 2003-03-05)

21 years ago0.7.13.25:
Alexey Dejneka [Wed, 12 Mar 2003 12:44:03 +0000 (12:44 +0000)]
0.7.13.25:
        Fixed bug reported by Rolf Wester on comp.lang.lisp:
        DEFPARAMETER and DEFVAR now always assign a dynamic variable.

21 years ago0.7.13.24:
Alexey Dejneka [Tue, 11 Mar 2003 18:24:28 +0000 (18:24 +0000)]
0.7.13.24:
        * [N]REVERSE and NRECONC check properness of list arguments;
        * [P]SXHASH always consider NIL to be a symbol.

21 years ago0.7.13.23:
Christophe Rhodes [Tue, 11 Mar 2003 10:14:12 +0000 (10:14 +0000)]
0.7.13.23:
Add forgotten generic/array.lisp holding definitions of (ARRAY
NIL) handling (thanks to APD for noting my oversight)

21 years ago0.7.13.22:
Christophe Rhodes [Mon, 10 Mar 2003 17:25:11 +0000 (17:25 +0000)]
0.7.13.22:
        Minor error fix, from Paul Dietz' suite
        ... if GETF and GET-PROPERTIES signal a error on malformed
property lists, then make it a type-error, not just a
simple-error

21 years ago0.7.13.21:
Christophe Rhodes [Mon, 10 Mar 2003 14:54:16 +0000 (14:54 +0000)]
0.7.13.21:
The (ARRAY NIL) has landed.
... implement a SIMPLE-ARRAY-NIL primitive type, including in
garbage collection and (ROOM) logic;
... adjust implementation of array creation and reference to
deal with arrays that can't contain anything;
... (HAIRY-)DATA-VECTOR-REF are can no longer be FLUSHABLE;
Enjoy!

21 years ago0.7.13.20:
Alexey Dejneka [Sat, 8 Mar 2003 12:02:10 +0000 (12:02 +0000)]
0.7.13.20:
        Fixed APPEND.ERROR.1.

21 years ago0.7.13.19:
Christophe Rhodes [Fri, 7 Mar 2003 15:40:10 +0000 (15:40 +0000)]
0.7.13.19:
Fix build problems for mips(el)
... include some of the structure files from genesis/*.h
... .cvsignore determine-endianness

21 years ago0.7.13.18:
Christophe Rhodes [Fri, 7 Mar 2003 15:14:51 +0000 (15:14 +0000)]
0.7.13.18:
contrib/ frobs
... install newer asdf, which fixes my stupid thinko for
.sbcl/systems (though in point of fact there would be
an argument, I think, for resolving
user-homedir-pathname/SBCL_HOME later than we are.
... apply KMR patches (sbcl-devel 2003-03-04) for sb-aclrepl
(and turn *CMD-CHAR* into *COMMAND-CHAR* in the process)

21 years ago0.7.13.17:
Christophe Rhodes [Fri, 7 Mar 2003 12:15:12 +0000 (12:15 +0000)]
0.7.13.17:
Merge mini backend-refactor, motivated by APD's
*CHECK-CONSISTENCY*/non-local-exit observations
... OAOOize MAKE-DYNAMIC-SPACE-TNS VM support routine
Also add tests for documentation in the presence of generalized
function names that should have been merged before but were
forgotten (sorry).

21 years ago0.7.13.16:
Alexey Dejneka [Thu, 6 Mar 2003 05:47:35 +0000 (05:47 +0000)]
0.7.13.16:
        Disable checking of *xxx*-like lexical variable names in
        optional- and more-entries (see, e.g., bug 240).

21 years ago0.7.13.15:
Alexey Dejneka [Wed, 5 Mar 2003 17:30:47 +0000 (17:30 +0000)]
0.7.13.15:
        On X86 fixed amount of space for saving dynamic state
        corresponding to removing of eval stack saving between
        0.7.4.13 and 0.7.4.22. A similar patch probably should be
        applied for other platforms.

21 years ago0.7.13.14:
Alexey Dejneka [Wed, 5 Mar 2003 14:13:05 +0000 (14:13 +0000)]
0.7.13.14:
        * New blocks are inserted into the end of component in the
          direct order;
        * TRANSFORM-CALL inserts new lambda immediately after the
          call;
        * MAKE-COMPONENT is a BOA-constructor.

21 years ago0.7.13.13:
Alexey Dejneka [Wed, 5 Mar 2003 06:06:42 +0000 (06:06 +0000)]
0.7.13.13:
        * SIGNAL-BOUNDING-INDICES-BAD-ERROR accepts any bounding index
          designators;
        * fixed CEILING optimization for a divisor of form 2^k.

21 years ago0.7.13.12:
Christophe Rhodes [Tue, 4 Mar 2003 09:49:22 +0000 (09:49 +0000)]
0.7.13.12:
RDY is a register/register instruction, not a register/immediate
... now disassembly works better

21 years ago0.7.13.11:
Christophe Rhodes [Mon, 3 Mar 2003 11:16:04 +0000 (11:16 +0000)]
0.7.13.11:
Merge "type system insanity" (CSR sbcl-devel 2002-03-01)
... extend INVOKE-COMPLEX-SUBTYPEP-ARG1-METHOD to take return
values for the case that no next method is found
... define and use (once!) equivalent logic for COMPLEX-=
... be more uncertain on intersections of class types, since we
create them when we don't know enough to canonicalize
... various other cases demand more uncertainty, too (e.g.
intersections involving HAIRY-TYPEs)
No known failures inherent to the type system!

21 years ago0.7.13.10:
Alexey Dejneka [Mon, 3 Mar 2003 09:16:40 +0000 (09:16 +0000)]
0.7.13.10:
        DEFINE-ALIEN-ROUTINE now fully declares result type.

21 years ago0.7.13.9:
Christophe Rhodes [Fri, 28 Feb 2003 19:26:17 +0000 (19:26 +0000)]
0.7.13.9:
Fix the sparc build
... add some headers to some runtime files
... give COLLECT-GARBAGE its argument in lispland, too
Delete src/runtime/primitive-objects.h, as it's made by
genesis now

21 years ago0.7.13.8:
Christophe Rhodes [Fri, 28 Feb 2003 15:50:28 +0000 (15:50 +0000)]
0.7.13.8:
Fix some more type system stuff
... the NEGATION type method should test for TYPE=, not EQ, with
*EMPTY-TYPE*
... install some hair to deal with more RATIONAL/INTEGER
confusion
(I can no longer construct an example that causes the type
system to get the answer wrong involving just INTEGER, RATIONAL,
AND, OR and NOT.  That's not to say that such an example doesn't
exist, only -- as Fermat didn't quite say -- that my brain is too
small to contain it)

21 years ago0.7.13.7:
Christophe Rhodes [Thu, 27 Feb 2003 17:20:00 +0000 (17:20 +0000)]
0.7.13.7:
Fix really stupid bug in CONS :SIMPLE-UNION method
... don't mix the CDR type into the CAR type
While I'm there, make the CONS :SIMPLE-UNION method smarter
... canonicalize unions of (CONS A D) with (CONS A' D'), where
A subtypep A', to
(OR (CONS A (OR D D')) (CONS (AND A' (NOT A)) D'))
the point being that this is then in a form that can be further
canonicalized when more CONS types come along.  This fixes about
5 bugs from pfdietz's suite.

21 years ago0.7.13.6
Daniel Barlow [Thu, 27 Feb 2003 15:19:46 +0000 (15:19 +0000)]
0.7.13.6
Generate primitive-objects.h automaticslly, and move it into
genesis/ (CSR)

Fix typo(!) in gencgc.c that was stopping compilation

Remove linux-specific header files in same that were left over
from the thread branch

Delete some unused variables

21 years ago0.7.13.5
Daniel Barlow [Thu, 27 Feb 2003 00:49:57 +0000 (00:49 +0000)]
0.7.13.5
Committed patch for gencgc refactoring based on work done
on threads branch.

... to make header file management a lot simpler, and allow
the use of interesting typedefs in genesis :C-TYPE slot
options, we split runtime.h into lots of smaller files that
can be (semi-)independently included.

... all GC and GCish functions now have the same interface,
so no need for (eq *internal-gc* #'collect-garbage) test in
SUB-GC

... current_region_end_addr and current_region_free_pointer
go away, eliminating potential for weird bugs when they're
not synchronized properly.  Yay OAOO

... disabled (actually, removed) inline allocation, as it
depended on old current_region_* (see above) and appears
to make not a lot of actual difference to run times anyway

pseudo-atomic support is now always compiled in.  I can see
no good reason for not having it

... much code in alloc() collapsed.  Also alloc() no longer
attempts to drop its PA and do a collection in the middle of
allocation - instead it uses the existing maybe_gc flag to
indicate that collection should happen when the allocation is
done.  Possibly this has bad effects when trying to allocate
an object bigger than available dynamic space, but that would
fit if a GC were done first.  Given the (complete lack of)
error handling for out-of-memory conditions in this and all
previous SBCL versions, it would be a foolish programmer who
was depending on this anyway, though.

21 years ago0.7.13.4:
Alexey Dejneka [Wed, 26 Feb 2003 04:52:08 +0000 (04:52 +0000)]
0.7.13.4:
        Fix the bug 239.

21 years ago0.7.13.3
Daniel Barlow [Wed, 26 Feb 2003 02:28:35 +0000 (02:28 +0000)]
0.7.13.3
RUN-PROGRAM fixes: make the :pty option actually work (even on
other-than-BSD systems) and run-program.lisp rather shorter in
the process.

21 years ago0.7.13.2
Daniel Barlow [Wed, 26 Feb 2003 02:18:45 +0000 (02:18 +0000)]
0.7.13.2
Remove all #+mp/#-mp conditionals, and rid the world of the
SB!MP package

21 years ago0.7.13.1
Daniel Barlow [Wed, 26 Feb 2003 02:16:27 +0000 (02:16 +0000)]
0.7.13.1
Small refactor to OOAO-ize find-restart-or-lose

21 years ago0.7.13:
William Harold Newman [Wed, 26 Feb 2003 01:24:19 +0000 (01:24 +0000)]
0.7.13:
release, tagged as sbcl_0_7_13

21 years ago0.7.12.59:
William Harold Newman [Tue, 25 Feb 2003 18:59:03 +0000 (18:59 +0000)]
0.7.12.59:
new bug reports from Antonio Martinez

21 years ago0.7.12.58
Daniel Barlow [Mon, 24 Feb 2003 06:34:17 +0000 (06:34 +0000)]
0.7.12.58
Revert accidental bsd-sockets/solaris breakage

21 years ago0.7.12.57
Daniel Barlow [Mon, 24 Feb 2003 04:33:00 +0000 (04:33 +0000)]
0.7.12.57
Add :force t to asdf-dependent contrib modules

Change install.sh to rename old binary/core files instead of
copying them - does not kill running SBCL programs in such a
gruseome way

Create $SBCL_HOME/site-systems in install.sh

... OK, that's IT, I am DONE for 0.7.13

21 years ago0.7.12.56:
William Harold Newman [Sun, 23 Feb 2003 22:50:01 +0000 (22:50 +0000)]
0.7.12.56:
merged Matthew Danish patch (sbcl-devel Feb 18) fixing eval
order and ONCE-ONLYness for function args (my
contribution to the "what have we here?" theme of
the intercontinental party we're holding to celebrate
today's nonrelease:-)

21 years ago0.7.12.55:
William Harold Newman [Sun, 23 Feb 2003 16:14:46 +0000 (16:14 +0000)]
0.7.12.55:
doc fixes, some from #lisp...
...emu pointed out where arg order stuff for :TEST functions
is specified.
...dan-b found a much-less-hackish !ENTITY for the manual.

21 years ago0.7.12.54:
Christophe Rhodes [Sun, 23 Feb 2003 16:07:33 +0000 (16:07 +0000)]
0.7.12.54:
Eleventh hour accommodation to Solaris sh(1)
... export FOO=bar -> FOO=bar; export FOO
... more test -e -> test -f
... b=${1:?foo bar} -> b=${1:?"foo bar"}
... yay for portable shell programmes.

21 years ago0.7.12.53:
Christophe Rhodes [Sat, 22 Feb 2003 23:00:18 +0000 (23:00 +0000)]
0.7.12.53:
Fix SunOS build as per sbcl-devel 2003-03-22
... remove last bashism in build scripts;
... allow building of foreign loading on SunOS;
... frob sb-bsd-sockets tests so that they pass on SunOS even in the
absence of a /dev/log socket.

21 years ago0.7.12.52
Daniel Barlow [Fri, 21 Feb 2003 19:52:43 +0000 (19:52 +0000)]
0.7.12.52
contrib support for "standalone executables" using shell script
magic.   See sb-executable:make-executable docstring for usage

contrib/scriptoids was a three year old mail message describing
a similar but slightly less cool way to do the same thing

21 years ago0.7.12.51
Daniel Barlow [Fri, 21 Feb 2003 16:24:29 +0000 (16:24 +0000)]
0.7.12.51
Remove -mcpu option from Alpha configuration, so we generate
a binary that older (pre-ev5) machines can also run

21 years ago0.7.12.50
Daniel Barlow [Fri, 21 Feb 2003 16:21:02 +0000 (16:21 +0000)]
0.7.12.50
It's easier to port a shell than a shell script. -- Larry Wall

Contrib-related fixes -
... multiple uses of test -e are now test -f
... don't run make test in install, it's more work than we
    want to do as root
... instead, touch $i/test-passed in make-target-contrib.sh
            (if, indeed, it has) and test for presence of that file
    when installing
... Rationalise AF-* constants in sb-bsd-sockets: AF-LOCAL
            is the One True Name.
... In sb-bsd-sockets build, don't hardcode gcc to be in /usr/bin

21 years ago0.7.12.49:
Alexey Dejneka [Thu, 20 Feb 2003 10:04:56 +0000 (10:04 +0000)]
0.7.12.49:
        Incremented fasl file version number due to the change in the
        DEFSTRUCT-SLOT-DESCRIPTION structure in 0.7.12.1.

21 years ago0.7.12.48:
Christophe Rhodes [Wed, 19 Feb 2003 19:54:32 +0000 (19:54 +0000)]
0.7.12.48:
Pre-freeze fix inclusions
... merge patch from Tony Martinez for CONCATENATED-STREAM
misbehaviour (sbcl-devel 2003-02-10)
... include test from sbcl-devel 2003-02-15

21 years ago0.7.12.47:
Christophe Rhodes [Wed, 19 Feb 2003 17:11:33 +0000 (17:11 +0000)]
0.7.12.47:
Merge patch from Gerd for improvement to SB-PCL:FIND-CLASS.
... propagate information through the braid
... now CLASS-DIRECT-SUPERCLASSES and CLASS-DIRECT-SUBCLASSES
should agree, even on BUILT-IN-CLASS classes
Merge patch from Gerd for DISASSEMBLE/COMPILED-FUN-OR-LOSE
... allow generalized function names
Also audit the rest of the codebase (by grep for "'setf") and
fix issues revealed
... DOCUMENTATION LIST 'FUNCTION (and %DEFUN)
... EVAL (not actually a real bug)
... COERCE #!+HIGH-SECURITY
... %DEFKNOWN
... LOOP (in possibly dead code, though)

21 years ago0.7.12.46:
Christophe Rhodes [Wed, 19 Feb 2003 13:16:20 +0000 (13:16 +0000)]
0.7.12.46:
Probably last contrib frob in this release cycle
... ensure that SBCL_HOME is set even if an explicit core is
specified.
The intent behind this change is to make
sbcl --core /usr/lib/sbcl/sbcl.core
identical in effect to
sbcl
so that both invokations can continue to find contrib
packages in /usr/lib/sbcl/<foo>/

21 years ago0.7.12.45:
Christophe Rhodes [Tue, 18 Feb 2003 17:21:56 +0000 (17:21 +0000)]
0.7.12.45:
Fix special operator status of DECLARE
... DECLARE no longer returns T to SPECIAL-OPERATOR-P

21 years ago0.7.12.44:
Christophe Rhodes [Tue, 18 Feb 2003 17:05:38 +0000 (17:05 +0000)]
0.7.12.44:
More contrib/ fixing
... update asdf to latest "upstream"
... provide for user- and site-installed systems in asdf REQUIRE
hook (in $HOME/.sbcl/systems/ and
$SBCL_HOME/site-systems/ respectively)

21 years ago0.7.12.43:
Christophe Rhodes [Tue, 18 Feb 2003 15:22:40 +0000 (15:22 +0000)]
0.7.12.43:
contrib/ adjustments
... make binary-distribution.sh aware of contrib/
... we run $gnumake test before $gnumake install ourselves, so
don't make the install target depend on test

21 years ago0.7.12.42:
Christophe Rhodes [Tue, 18 Feb 2003 12:55:36 +0000 (12:55 +0000)]
0.7.12.42:
A couple of minor fixes for bugs caught by Paul Dietz' test
suite.
... adjust source transform for CONSTANTLY to return a
side-effect-free function;
... OTHERWISE only introduces an otherwise-clause in TYPECASE if
it's the last clause;
... while I'm frobbing TYPECASE, make the style-warning format
string such that output is pretty.
... NEWS update

21 years ago0.7.12.41:
Christophe Rhodes [Tue, 18 Feb 2003 11:44:42 +0000 (11:44 +0000)]
0.7.12.41:
Yet more type system fixes:
distribute NOT over CONS types
... put *EMPTY-TYPE*-handling logic inside MAKE-CONS-TYPE
... fixes:
            (subtypep '(and cons (not (cons symbol integer)))
      '(or (cons (not symbol) *) (cons * (not integer)))
unravel some INTEGER/RATIONAL schizophrenia
... (RATIONAL 0 0) is completely equivalent to (INTEGER 0 0)
... fixes:
    (subtypep '(rational 0 10) '(or (eql 0) (rational (0) 10)))
... does not fix:
            (subtypep '(not (rational -1/2 1/2)) '(not (integer 0 0)))

21 years ago0.7.12.40:
Christophe Rhodes [Mon, 17 Feb 2003 15:44:59 +0000 (15:44 +0000)]
0.7.12.40:
Fixed a stupid bug in the NOT type translator, revealed by Paul
Dietz' suite:
... properly invert the bound: if it's a CONS, take the CAR;
... now we understand (NOT (RATIONAL (0) (10)) a bit better.

21 years ago0.7.12.39:
Christophe Rhodes [Mon, 17 Feb 2003 15:22:49 +0000 (15:22 +0000)]
0.7.12.39:
Refactor some of the type system:
... new TYPE-CLASS: NEGATION, for representation of (NOT FOO)
... in TYPEP/CTYPEP/SOURCE-TRANSFORM-TYPEP, too
Also add a few smarts to the existing type system
... give up slightly less often in INTERSECTION-COMPLEX-UNION2
and UNION-COMPLEX-INTERSECTION2
... now that we have a distinct NEGATION class, it's possible to
write sensible UNION and INTERSECTION methods for those,
too
Fixes:  (SUBTYPEP T (OR REAL (NOT REAL))),
(SUBTYPEP T (OR KEYWORD (NOT KEYWORD)))

21 years ago0.7.12.38:
Christophe Rhodes [Sat, 15 Feb 2003 11:16:33 +0000 (11:16 +0000)]
0.7.12.38:
PCL accessors/SLOT-MISSING fixes:
Remove some package fragility of generated accessor functions
... define a new generalized function name class:
SB-PCL::SLOT-ACCESSOR
... s/SLOT-READER-SYMBOL/SLOT-READER-NAME/, and use the new
generalized function names
... now SB-SLOT-ACCESSOR-NAME and *SLOT-ACCESSOR-NAME-PACKAGE*
can go away
Ensure that SLOT-MISSING is called in all required situations.
The easy way would just have been to adjust ASV-FUNCALL slightly,
but that would have been no fun, so include an
optimization due to Gerd Moellmann:
... new LOAD-TIME-VALUE logic that ensures that the relevant
accessor name is always FBOUNDP, so the FBOUNDP check
can be elided at runtime
By this stage, it's all working, but
... while we're at it, also include the
ASV-FUNCALL-as-was/ENSURE-ACCESSOR optimization for
SLOT-BOUNDP, which was not included in historical PCL.
... also, ensure that fast discriminating functions are
constructed, conditional on
*OPTIMIZE-CACHE-FUNCTIONS-P*: eventually, this can
probably be made either unconditional or conditional on
the compilation policy when a generic function is
compiled.
Include a simple test for SLOT-MISSING behaviour.
... this version has also been tested against Gerd Moellmann's
test suite, with no regressions found.

21 years ago0.7.12.37:
Alexey Dejneka [Fri, 14 Feb 2003 05:53:50 +0000 (05:53 +0000)]
0.7.12.37:
        New compiler bug.

21 years ago0.7.12.36:
Christophe Rhodes [Tue, 11 Feb 2003 15:42:34 +0000 (15:42 +0000)]
0.7.12.36:
More install.sh patching
... $gnumake everywhere
... ${GNUMAKE} not $(GNUMAKE}
Export FUN-INFO-DERIVE-TYPE and friends
... now DEFOPTIMIZER can work in any package that uses SB-C
Install new contrib: SB-ROTATE-BYTE
... implements <http://www.telent.net/ROTATE-BYTE>
... has compiler logic to do so efficiently for (byte 32 0) on
x86: see the README.

21 years ago0.7.12.35
Daniel Barlow [Mon, 10 Feb 2003 15:31:13 +0000 (15:31 +0000)]
0.7.12.35
and the rest ...

21 years ago0.7.12.34
Daniel Barlow [Mon, 10 Feb 2003 15:13:17 +0000 (15:13 +0000)]
0.7.12.34
make is not always gmake.  Apply patch from Raymond Wiker
in sbcl-devel message of 10 Feb 2003

21 years ago0.7.12.33:
Christophe Rhodes [Mon, 10 Feb 2003 12:32:06 +0000 (12:32 +0000)]
0.7.12.33:
Some easy fixes:
... SYMBOL-FUNCTION returns a function in our implementation
(Robert E. Brown sbcl-devel 2003-02-06)
... READ-DELIMITED-LIST returns a list
(Tony Martinez sbcl-devel 2003-02-09)
... make src/cold/chill.lisp loadable from anywhere
(Rudi Schlatte sbcl-devel 2003-02-09)
Also frob NEWS: put exciting things such as incompatible changes
and new contrib at the top of the section.

21 years ago0.7.12.32
Daniel Barlow [Sun, 9 Feb 2003 20:49:48 +0000 (20:49 +0000)]
0.7.12.32
Fix sb-db-sockets.asd components
Add semi-automatically generated docn for it (index.html)

21 years ago0.7.12.31:
Christophe Rhodes [Sun, 9 Feb 2003 20:20:40 +0000 (20:20 +0000)]
0.7.12.31:
Yet another incremental extension to the type system algorithms.
In the presence of types such as (MEMBER 1 "foo" (X)), we
cannot hash VALUES-SPECIFIER-TYPE on EQUAL, because two
such types can contain the same or different (under EQL)
"foo" or (X), and yet be the same under EQUALity. So
... define a new function EQUAL-BUT-NO-CAR-RECURSION, which is
almost but not quite what it sounds (it tests strings
bit-vectors and lists by EQL, not EQUAL);
... use it as the new test function for the
VALUES-SPECIFIER-TYPE hash table.
The presence of numeric types in NOT types can be problematic,
as Paul Dietz' test of (OR BIGNUM FIXNUM) showed.  So
... work a lot harder in the NOT type translator, to bring
numeric types out: we treat (NOT (INTEGER a b)) as
(OR (NOT INTEGER) (INTEGER * a) (INTEGER b *)), with the
obvious generalizations.
Now (AND INTEGER (NOT FIXNUM)) parses as
`(OR (INTEGER * ,(1- MOST-NEGATIVE-FIXNUM))
                     (INTEGER ,(1+ MOST-POSITIVE-FIXNUM))
which is right, but no longer an intersection type, so
... move BIGNUM unparsing from INTERSECTION-TYPE to UNION-TYPE.
Even with all this, we don't get (OR INTEGER RATIO) right, so
... teach the type system some more set theory, with new
HAIRY-TYPE and INTERSECTION union methods.
Now (SUBTYPEP 'RATIONAL '(OR INTEGER RATIO)) returns T, T
(and all the people rejoiced!)

21 years ago0.7.12.30
Daniel Barlow [Sat, 8 Feb 2003 15:41:19 +0000 (15:41 +0000)]
0.7.12.30
Update asdf to newer upstream version (:serial t)

module-provide-asdf now refuses to try providing a module
unless it can find a system file, so doesn't usurp the whole
PROVIDE/REQUIRE mechanism for non-asdf modules.

make-target-contrib.sh should set SBCL_HOME to the source
tree, so that inter-module dependencies are searched for in
the right place

Actually add the ACL repl to the repository this time

21 years ago0.7.12.29
Daniel Barlow [Fri, 7 Feb 2003 17:35:31 +0000 (17:35 +0000)]
0.7.12.29
Cleaned up sb-bsd-sockets ...
... some package renaming missed last time
... 'make test' now actually runs the test scripts instead of
    just returning successfully

21 years agorenamed to sb-bsd-sockets
Daniel Barlow [Fri, 7 Feb 2003 17:14:28 +0000 (17:14 +0000)]
renamed to sb-bsd-sockets

21 years ago0.7.12.28
Daniel Barlow [Fri, 7 Feb 2003 17:11:38 +0000 (17:11 +0000)]
0.7.12.28
Added WHN's port of Kevin Rosenberg's ACL-like toplevel as
the contrib package SB-ACLREPL

Tidied up some of the contrib infrastructure in pursuance of OAOO

Renamefest: adopt standard SB- package prefixes for all contribs

Contrib packages are now built by make-target-contrib.sh
(called from make.sh) instead of being left to install.sh time

21 years ago0.7.12.28
Daniel Barlow [Fri, 7 Feb 2003 15:07:57 +0000 (15:07 +0000)]
0.7.12.28
Commit changes to NEWS that should have been associated with
0.7.12.24

21 years ago0.7.12.26:
Christophe Rhodes [Fri, 7 Feb 2003 14:54:05 +0000 (14:54 +0000)]
0.7.12.26:
fix #1# for STANDARD-OBJECT objects (as reported by Tony
Martinez on cll 2003-02-03)
... slightly sucky fix, yes; will probably need revisiting when
PCL goodness happens.

21 years ago0.7.12.25
Daniel Barlow [Fri, 7 Feb 2003 02:14:24 +0000 (02:14 +0000)]
0.7.12.25
Short note in the user's manual to document (or at least allude
vaguely to) the ext:*module-provider-functions* list as it
applies to PROVIDE/REQUIRE

21 years ago0.7.12.24
Daniel Barlow [Fri, 7 Feb 2003 02:11:09 +0000 (02:11 +0000)]
0.7.12.24
Changes to PROVIDE/REQUIRE to make them (a) conform to ANSI,
(b) any use...
... cease nonstandardly downcasing elements in *MODULES*
... add a list of *MODULE-PROVIDER-FUNCTIONS* which the user
        can hang functions off to make REQUIRE do whatever he
        wants it to do.
... its default member knows how to load files in
    $SBCL_ROOT/modulename/modulename

First pass at a contrib infrastructure...
... change install.sh to do new and exciting things, and as a
    side benefit, able to install other than into /usr/local
... amend INSTALL instructions to match

Two contrib modules...
... asdf here is a direct copy of the one in cclan, but
    despite being portable and therefore not really
    qualifying, will be v. useful for loading the others
... bsd-sockets (db-sockets by any other name) is a fairly
    low-level interface to the BSD socket API: high-level
    interfaces (e.g. ACL-compatible, or CLOCC PORT) could be
    built on top of it without getting dirty with ALIEN

21 years ago0.7.12.23:
William Harold Newman [Thu, 6 Feb 2003 01:27:10 +0000 (01:27 +0000)]
0.7.12.23:
added support for the customary --help and --version command
line options, as #lisp IRCers encouraged me to do

21 years ago0.7.12.22:
William Harold Newman [Wed, 5 Feb 2003 17:12:32 +0000 (17:12 +0000)]
0.7.12.22:
cautiously reconnoitering the great dragon's lair: moved the
first innocuous-looking src/pcl/ file into cold build

21 years ago0.7.12.21:
Christophe Rhodes [Wed, 5 Feb 2003 13:03:27 +0000 (13:03 +0000)]
0.7.12.21:
As per Johannes Groedem sbcl-devel 2003-01-28, use the simplest
invocation of hostname(1) possible, to avoid e.g.
attempting to set the system hostname.

21 years ago0.7.12.20:
William Harold Newman [Wed, 5 Feb 2003 00:37:29 +0000 (00:37 +0000)]
0.7.12.20:
lifted %COERCE-CALLABLE-TO-FUN conversion out of various
loops, plus misc. other cleanups, as per patch from
Robert E. Brown sbcl-devel 2003-01-31
misc. tidying in comments and doc strings
made LIST-REMOVE-DUPLICATES* not rely on MEMBER supporting
arglists like :TEST NIL :TEST-NOT #'FOO

21 years ago0.7.12.19:
Christophe Rhodes [Tue, 4 Feb 2003 17:11:31 +0000 (17:11 +0000)]
0.7.12.19:
Merge Gray streams OAOOness (Rudi Schlatte sbcl-devel 2002-02-03)
... export relevant symbols from SB!KERNEL

21 years ago0.7.12.18:
Christophe Rhodes [Mon, 3 Feb 2003 16:23:55 +0000 (16:23 +0000)]
0.7.12.18:
Make genesis pass package documentation on as well as all the
symbol information
... add another element to *COLD-PACKAGE-SYMBOLS*, yuk
... test for documentation of (FIND-PACKAGE SB-EXT), because users
will legitimately want to know about it.
Slightly more OAOOness for generalized function names
... FUN-NAME-BLOCK-NAME now knows about CLASS-PREDICATE

21 years ago0.7.12.17:
Christophe Rhodes [Mon, 3 Feb 2003 15:41:43 +0000 (15:41 +0000)]
0.7.12.17:
Commit sequence functions and bounding indices reworking:
... use *SEQUENCE-KEYWORD-INFO* to define handling for
the general sequence functions, and define more of them
through DEFINE-SEQUENCE-TRAVERSER;
... remove now redundant END-TOO-LARGE-ERROR, replacing it with
the more general BOUNDING-INDICES-BAD-ERROR;
... write %CHECK-VECTOR-SEQUENCE-BOUNDS, a vector-specialised
routine for this checking operation, and use it in
string functions and in the vector transforms for FIND,
POSITION and friends;
... ELT on LIST arguments should not be transformed to NTH in
safe code, for error signalling reasons
... include some tests for this new behaviour.

21 years ago0.7.12.16:
Alexey Dejneka [Mon, 3 Feb 2003 11:55:56 +0000 (11:55 +0000)]
0.7.12.16:
        Fixed compiler failure related to checking types of functions
        (reported by Robert E. Brown);

21 years ago0.7.12.5:
William Harold Newman [Sun, 2 Feb 2003 14:03:05 +0000 (14:03 +0000)]
0.7.12.5:
fixed s/function/fun/ gone wild in restart logic, as per
patch from Robert E. Brown sbcl-devel 2003-02-01

21 years ago0.7.12.14:
Christophe Rhodes [Fri, 31 Jan 2003 15:08:28 +0000 (15:08 +0000)]
0.7.12.14:
Type system fixes (thanks to Paul Dietz for the report)
... make the intersection of negation types with non-hairy types
smarter, by considering the type relationship of the
negation (e.g. (AND BASE-CHAR (NOT BASE-CHAR)) and
(AND FIXNUM (NOT INTEGER)) should both be canonicalized
to NIL).
... if either of the CAR-type or CDR-type of a CONS type is NIL,
then the whole type must be NIL too.
(also fixes the unparse of EXTENDED-CHAR)

21 years ago0.7.12.13:
Christophe Rhodes [Fri, 31 Jan 2003 09:28:35 +0000 (09:28 +0000)]
0.7.12.13:
Fix (DEFCLASS #:FOO () ())
... relax restriction on function names, allowing lists of
length two headed by SB!PCL::CLASS-PREDICATE
... OA(more-or-less)OOify function name logic

21 years ago0.7.12.12:
Alexey Dejneka [Fri, 31 Jan 2003 05:59:01 +0000 (05:59 +0000)]
0.7.12.12:
        * Declare MAPCAN and MAPCON to return T;
        * Remove (:FUNCTION :IR1-TRANSFORM) info type.

21 years ago0.7.12.11:
Christophe Rhodes [Thu, 30 Jan 2003 12:23:10 +0000 (12:23 +0000)]
0.7.12.11:
Fix another bug in LOG, this time for rationals not near 1
... use double-precision intermediate values
still no regression tests, sorry

21 years ago0.7.12.10:
Alexey Dejneka [Wed, 29 Jan 2003 11:39:49 +0000 (11:39 +0000)]
0.7.12.10:
        * Definitions of dependent optimizations qualities are grouped
          in src/compiler/policies.lisp;
        * new dependent optimization policy: MERGE-TAIL-CALLS;
        ... which is used in XEPs.

21 years ago0.7.12.10:
Alexey Dejneka [Wed, 29 Jan 2003 11:29:12 +0000 (11:29 +0000)]
0.7.12.10:
        * Definitions of dependent optimizations qualities are grouped
          in src/compiler/policies.lisp;
        * new dependent optimization policy: MERGE-TAIL-CALLS;
        ... which is used in XEPs.

21 years ago0.7.12.9:
Christophe Rhodes [Tue, 28 Jan 2003 17:21:09 +0000 (17:21 +0000)]
0.7.12.9:
Fix issue in DEFSTRUCT :NAMED :TYPE structure predicates, which
had a tendency to signal errors on #() or dotted lists.

21 years ago0.7.12.8:
Alexey Dejneka [Tue, 28 Jan 2003 11:53:31 +0000 (11:53 +0000)]
0.7.12.8:
        * Fixed bug 231b (SETQ ignored free type declarations);
        * some stylistic changes.

21 years ago0.7.12.7:
Christophe Rhodes [Mon, 27 Jan 2003 21:41:25 +0000 (21:41 +0000)]
0.7.12.7:
Fix bug 228, by allowing pseudoLAMBDA-expressions to be compiled
by FUNCTION and COMPILE:
... define IR1-CONVERT-LAMBDALIKE to massage the pseudolambda
into a lambda;
... define SB-INT:NAMED-LAMBDA and SB-KERNEL:LAMBDA-WITH-LEXENV
macros analogous to CL:LAMBDA;
... various bits of commentary.
This change also has the effect of quieting the compiler when
compiling defmethod forms with arguments naming classes
and a CALL-NEXT-METHOD in the body.

21 years ago0.7.12.6:
Christophe Rhodes [Mon, 27 Jan 2003 17:45:37 +0000 (17:45 +0000)]
0.7.12.6:
Fix compiled calls to bit-array functions to allow an explicit
opt-arg of NIL
... and also fix the defknowns for %BITSET and %SBITSET, even though
currently they always get SOURCE-TRANSFORMed away.
... minimal tests for these two issues

21 years ago0.7.12.5:
Christophe Rhodes [Mon, 27 Jan 2003 17:27:51 +0000 (17:27 +0000)]
0.7.12.5:
Fix bug 157: give TYPEP and friends an (ignored) optional
environment argument
... and open bug 237 documenting the implementation
deficiencies.
Also allow calls to MACROEXPAND and friends with an explicit NIL
environment argument to be compiled and executed.

21 years ago0.7.12.4:
Christophe Rhodes [Mon, 27 Jan 2003 15:09:57 +0000 (15:09 +0000)]
0.7.12.4:
Fix bug in LOG for rational numbers near 1.
... also do neato things for e.g. (log <bignum> 3), so that
answers can be computed even though <bignum> is bigger
than MOST-POSITIVE-DOUBLE-FLOAT.
... regression tests will be along shortly, I hope

21 years ago0.7.12.3:
Christophe Rhodes [Mon, 27 Jan 2003 09:08:49 +0000 (09:08 +0000)]
0.7.12.3:
Fix two difficult-to-test bugs, as per discussion ('Three "interesting"
PCL bugs', sbcl-devel 2003-01-25)
... make sure the %CLASS declaration is in the right place even if
a class name is the same as a variable name;
... for FIXNUM emf, the new-value and the slot object arguments
are distinct.  This may well be dead code.

21 years ago0.7.12.2:
Christophe Rhodes [Sun, 26 Jan 2003 17:25:14 +0000 (17:25 +0000)]
0.7.12.2:
Allow ARRAY-IN-BOUNDS-P to take arbitrary integers as arguments
without signalling a TYPE-ERROR on non-INDEXes
(misbehaviour found by Paul Dietz' test suite)

21 years ago0.7.12.1:
Alexey Dejneka [Sun, 26 Jan 2003 06:38:09 +0000 (06:38 +0000)]
0.7.12.1:
        * Replace TRULY-THE with THE in inline structure slot
          accessors when they may be not initialized;
        * treat known function bindings as constant;
        * CHANGE-REF-LEAF: mark the substitution as used.

21 years ago0.7.12:
William Harold Newman [Sat, 25 Jan 2003 19:30:16 +0000 (19:30 +0000)]
0.7.12:
release, tagged as sbcl_0_7_12

21 years ago0.7.11.14:
Alexey Dejneka [Wed, 22 Jan 2003 08:45:35 +0000 (08:45 +0000)]
0.7.11.14:
        One more bug.

21 years ago0.7.11.13:
Alexey Dejneka [Wed, 22 Jan 2003 07:37:48 +0000 (07:37 +0000)]
0.7.11.13:
        Bugs.