sbcl Log

Commit Date  
[0975e0] by Alexey Dejneka Alexey Dejneka (updated to

* Small steps towards ANSI VALUES type specifier:
** removed checks for VALUES-TYPE-{KEYP,KEYWORDS};
** &OPTIONAL type in VALUES does not automatically allow NIL;
** object type <type> in a values context \approx (VALUES &OPTIONAL
<type> &REST T); DEFKNOWN uses the old meaning;

* added type checking for single value and MV-BIND receivers;
* THE coerces the asserted type to VALUES;
* fixed order of CAST LTN-annotating;

2003-03-20 10:17:57 Tree
[f43723] by Alexey Dejneka Alexey Dejneka
* in VALUES types &OPTIONAL arguments are merged into &REST;
* (VALUES &REST T) => *;
* ENABLE-INTERRUPT accepts/returns C handler addresses as
FIXNUMs as suggested by CSR;
* added IR2 type checking.

2003-02-11 11:41:12 Tree
[f17b4a] by Alexey Dejneka Alexey Dejneka

This is an EXPERIMENTAL branch. Mayor change is reimplementation of
type assertions with CAST nodes, which should provide a way to fix
several classical bugs in the type checking system.

This version is a first try on the idea. It may be buggy, slow and
produce inefficient code.

2003-02-10 14:53:58 Tree
[e9d710] by Christophe Rhodes Christophe Rhodes
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.

2003-02-10 12:32:06 Tree
[335ea7] by Daniel Barlow Daniel Barlow
Fix sb-db-sockets.asd components
Add semi-automatically generated docn for it (index.html)

2003-02-09 20:49:48 Tree
[814fc2] by Christophe Rhodes Christophe Rhodes
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
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
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.
(and all the people rejoiced!)

2003-02-09 20:20:40 Tree
[8d404a] by Daniel Barlow Daniel Barlow
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. 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

2003-02-08 15:41:19 Tree
[c8b719] by Daniel Barlow Daniel Barlow
Cleaned up sb-bsd-sockets ...
... some package renaming missed last time
... 'make test' now actually runs the test scripts instead of
just returning successfully

2003-02-07 17:35:31 Tree
[a78064] by Daniel Barlow Daniel Barlow

renamed to sb-bsd-sockets

2003-02-07 17:14:28 Tree
[10d2c0] by Daniel Barlow Daniel Barlow
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
(called from instead of being left to time

2003-02-07 17:11:38 Tree
[f0bc5a] by Daniel Barlow Daniel Barlow
Commit changes to NEWS that should have been associated with

2003-02-07 15:07:57 Tree
[22b8c6] by Christophe Rhodes Christophe Rhodes
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.

2003-02-07 14:54:05 Tree
[c5dac3] by Daniel Barlow Daniel Barlow
Short note in the user's manual to document (or at least allude
vaguely to) the ext:*module-provider-functions* list as it

2003-02-07 02:14:24 Tree
[edc8da] by Daniel Barlow Daniel Barlow
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

First pass at a contrib infrastructure...
... change 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

2003-02-07 02:11:09 Tree
[73d6a1] by William Harold Newman William Harold Newman
added support for the customary --help and --version command
line options, as #lisp IRCers encouraged me to do

2003-02-06 01:27:10 Tree
[eadecf] by William Harold Newman William Harold Newman
cautiously reconnoitering the great dragon's lair: moved the
first innocuous-looking src/pcl/ file into cold build

2003-02-05 17:12:32 Tree
[ecb971] by Christophe Rhodes Christophe Rhodes
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.

2003-02-05 13:03:27 Tree
[b71155] by William Harold Newman William Harold Newman
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

2003-02-05 00:37:29 Tree
[562dd7] by Christophe Rhodes Christophe Rhodes
Merge Gray streams OAOOness (Rudi Schlatte sbcl-devel 2002-02-03)
... export relevant symbols from SB!KERNEL

2003-02-04 17:11:31 Tree
[acce82] by Christophe Rhodes Christophe Rhodes
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

2003-02-03 16:23:55 Tree
[1bbb76] by Christophe Rhodes Christophe Rhodes
Commit sequence functions and bounding indices reworking:
... use *SEQUENCE-KEYWORD-INFO* to define handling for
the general sequence functions, and define more of them
... remove now redundant END-TOO-LARGE-ERROR, replacing it with
... 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.

2003-02-03 15:41:43 Tree
[b5183a] by Alexey Dejneka Alexey Dejneka
Fixed compiler failure related to checking types of functions
(reported by Robert E. Brown);

2003-02-03 11:55:56 Tree
[42c897] by William Harold Newman William Harold Newman
fixed s/function/fun/ gone wild in restart logic, as per
patch from Robert E. Brown sbcl-devel 2003-02-01

2003-02-02 14:03:05 Tree
[4704aa] by Christophe Rhodes Christophe Rhodes
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)

2003-01-31 15:08:28 Tree
[e38cf2] by Christophe Rhodes Christophe Rhodes
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

2003-01-31 09:28:35 Tree
Older >