Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

sbcl Log


Commit Date  
[0975e0] by Alexey Dejneka Alexey Dejneka

0.7.13.30-cast.4: (updated to 0.7.13.30)

* 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

0.7.12.32.cast.3:
* 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

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.

2003-02-10 12:32:06 Tree
[335ea7] by Daniel Barlow Daniel Barlow

0.7.12.32
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

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!)

2003-02-09 20:20:40 Tree
[8d404a] by Daniel Barlow Daniel Barlow

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

2003-02-08 15:41:19 Tree
[c8b719] by Daniel Barlow Daniel Barlow

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

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

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

2003-02-07 17:11:38 Tree
[f0bc5a] by Daniel Barlow Daniel Barlow

0.7.12.28
Commit changes to NEWS that should have been associated with
0.7.12.24

2003-02-07 15:07:57 Tree
[22b8c6] by Christophe Rhodes Christophe Rhodes

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.

2003-02-07 14:54:05 Tree
[c5dac3] by Daniel Barlow Daniel Barlow

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

2003-02-07 02:14:24 Tree
[edc8da] by Daniel Barlow Daniel Barlow

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

2003-02-07 02:11:09 Tree
[73d6a1] by William Harold Newman William Harold Newman

0.7.12.23:
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

0.7.12.22:
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

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.

2003-02-05 13:03:27 Tree
[b71155] by William Harold Newman William Harold Newman

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

2003-02-05 00:37:29 Tree
[562dd7] by Christophe Rhodes Christophe Rhodes

0.7.12.19:
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

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

2003-02-03 16:23:55 Tree
[1bbb76] by Christophe Rhodes Christophe Rhodes

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.

2003-02-03 15:41:43 Tree
[b5183a] by Alexey Dejneka Alexey Dejneka

0.7.12.16:
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

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

2003-02-02 14:03:05 Tree
[4704aa] by Christophe Rhodes Christophe Rhodes

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)

2003-01-31 15:08:28 Tree
[e38cf2] by Christophe Rhodes Christophe Rhodes

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

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